Dario Socci

According to our database, Dario Socci authored at least 12 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Priority-based scheduling of mixed-critical jobs.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Real Time Syst., 2019

2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.

Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin

Des. Autom. Embed. Syst., 2018

Algorithmic Complexity of Correctness Testing in MC-Scheduling.

Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Predictability in Mixed-Criticality Systems.

Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem

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é).

Dario Socci

PhD thesis, 2016

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference.

Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

A Timed-Automata Based Middleware for Time-Critical Multicore Applications.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Models for deterministic execution of real-time multiprocessor applications.

Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

ASP-based optimized mapping in a simulink-to-MPSoC design flow.

Alessandro Cilardo, Dario Socci, Nicola Mazzocca

J. Syst. Archit., 2014

2013

Mixed Critical Earliest Deadline First.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013