| 2018 | RTCSA | Predictability in Mixed-Criticality Systems. | Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem |
| 2018 | RTNS | Algorithmic Complexity of Correctness Testing in MC-Scheduling. | Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem |
| 2016 | ISoLA | Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. | Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga |
| 2015 | DATE | Models for deterministic execution of real-time multiprocessor applications. | Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga |
| 2015 | HPCC | Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | ISORC | Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | ISORC | A Timed-Automata Based Middleware for Time-Critical Multicore Applications. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2013 | ECRTS | Mixed Critical Earliest Deadline First. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |