Dario Socci
According to our database1,
Dario Socci
authored at least 12 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
5
1
1
1
2
1
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
Des. Autom. Embed. Syst., 2018
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018
2016
Scheduling of certifiable mixed-criticality systems. (Ordonnancement des systèmes certifiés avec différents niveaux de criticité).
PhD thesis, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
J. Syst. Archit., 2014
2013
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013