Dario Socci

12 papers A 1B 2C 1Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Priority-based scheduling of mixed-critical jobs.
Real Time Syst.
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2018 Misc conf
Algorithmic Complexity of Correctness Testing in MC-Scheduling.
RTNS
Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem
2018 J jnl
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
Des. Autom. Embed. Syst.
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
2018 B conf
Predictability in Mixed-Criticality Systems.
RTCSA
Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
2016 — conf
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference.
ISoLA (1)
Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
2016 — —
Scheduling of certifiable mixed-criticality systems. (Ordonnancement des systèmes certifiés avec différents niveaux de criticité).
Dario Socci
2015 — conf
A Timed-Automata Based Middleware for Time-Critical Multicore Applications.
ISORC Workshops
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015 A conf
Models for deterministic execution of real-time multiprocessor applications.
DATE
Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
2015 C conf
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs.
ISORC
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015 — conf
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.
HPCC/CSS/ICESS
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2014 J jnl
ASP-based optimized mapping in a simulink-to-MPSoC design flow.
J. Syst. Archit.
Alessandro Cilardo, Dario Socci, Nicola Mazzocca
2013 B conf
Mixed Critical Earliest Deadline First.
ECRTS
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga