Mixed Critical Earliest Deadline First. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ECRTS, 2013)

ASP-based optimized mapping in a simulink-to-MPSoC design flow. - Alessandro Cilardo; Dario Socci; Nicola Mazzocca (J. Syst. Archit., 2014)

Models for deterministic execution of real-time multiprocessor applications. - Peter Poplavko; Dario Socci; Paraskevas Bourgos; Saddek Bensalem; Marius Bozga (DATE, 2015)

Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (HPCC/CSS/ICESS, 2015)

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC, 2015)

A Timed-Automata Based Middleware for Time-Critical Multicore Applications. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC Workshops, 2015)

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. - Peter Poplavko; Rany Kahil; Dario Socci; Saddek Bensalem; Marius Bozga (ISoLA (1), 2016)

Scheduling of certifiable mixed-criticality systems. (Ordonnancement des systèmes certifiés avec différents niveaux de criticité). - Dario Socci (2016)

Predictability in Mixed-Criticality Systems. - Rany Kahil; Peter Poplavko; Dario Socci; Saddek Bensalem (RTCSA, 2018)

Algorithmic Complexity of Correctness Testing in MC-Scheduling. - Rany Kahil; Dario Socci; Peter Poplavko; Saddek Bensalem (RTNS, 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 001; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugère; Romain Soulat; et al. (Des. Autom. Embed. Syst., 2018)

Priority-based scheduling of mixed-critical jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (Real Time Syst., 2019)