Dario Socci

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Venues

ISORC Workshops

RTCSA

J. Syst. Archit.

Real Time Syst.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55 (4) (2019)
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
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22 (1-2) (2018)
Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem
Algorithmic Complexity of Correctness Testing in MC-Scheduling. RTNS (2018)
Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
Predictability in Mixed-Criticality Systems. RTCSA (2018)
Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) (2016)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS (2015)
Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
Models for deterministic execution of real-time multiprocessor applications. DATE (2015)
Alessandro Cilardo, Dario Socci, Nicola Mazzocca
ASP-based optimized mapping in a simulink-to-MPSoC design flow. J. Syst. Archit. 60 (1) (2014)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Mixed Critical Earliest Deadline First. ECRTS (2013)

Dario Socci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dario Socci