Dario Socci
Dario Socci
Mentor a SIEMENS business
Verified email at mentor.com
Title
Cited by
Cited by
Year
Mixed critical earliest deadline first
D Socci, P Poplavko, S Bensalem, M Bozga
2013 25th Euromicro Conference on Real-Time Systems, 93-102, 2013
452013
Multiprocessor scheduling of precedence-constrained mixed-critical jobs
D Socci, P Poplavko, S Bensalem, M Bozga
2015 IEEE 18th International Symposium on Real-Time Distributed Computing …, 2015
152015
Modeling mixed-critical systems in real-time BIP
D Socci, P Poplavko, S Bensalem, M Bozga
142013
Models for deterministic execution of real-time multiprocessor applications
P Poplavko, D Socci, P Bourgos, S Bensalem, M Bozga
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
132015
Time-triggered mixed critical scheduler
D Socci, P Poplavko, S Bensalem, M Bozga
Proc. WMC, RTSS, 67-72, 2013
122013
Time-triggered mixed-critical scheduler on single and multi-processor platforms
D Socci, P Poplavko, S Bensalem, M Bozga
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
112015
Mixed-critical systems design with coarse-grained multi-core interference
P Poplavko, R Kahil, D Socci, S Bensalem, M Bozga
International Symposium on Leveraging Applications of Formal Methods, 605-621, 2016
82016
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
G Giannopoulou, P Poplavko, D Socci, P Huang, N Stoimenov, P Bourgos, ...
Design Automation for Embedded Systems 22 (1-2), 141-181, 2018
72018
A Timed-Automata Based Middleware for Time-Critical Multicore Applications
D Socci, P Poplavko, S Bensalem, M Bozga
ISORCW 2015, 2015
72015
ASP-based optimized mapping in a Simulink-to-MPSoC design flow
A Cilardo, D Socci, N Mazzocca
Journal of Systems Architecture 60 (1), 108-118, 2014
72014
Algorithmic complexity of correctness testing in mc-scheduling
R Kahil, D Socci, P Poplavko, S Bensalem
Proceedings of the 26th International Conference on Real-Time Networks and …, 2018
62018
Scheduling of certifiable mixed-criticality systems
D Socci
Grenoble Alpes, 2016
52016
Predictability in mixed-criticality systems
R Kahil, P Poplavko, D Socci, S Bensalem
2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018
42018
Revisiting the computational complexity of mixed-critical scheduling
R Kahil, P Poplavko, D Socci, S Bensalem
Proc. WMC, RTSS (2017), 2017
42017
Multicore code generation for time-critical applications
P Poplavko, P Bourgos, D Socci, S Bensalem, M Bozga
4
Priority-based scheduling of mixed-critical jobs
D Socci, P Poplavko, S Bensalem, M Bozga
Real-Time Systems 55 (4), 709-773, 2019
12019
Process Networks for Reactive Streaming with Timed-automata Implementation
P Poplavko, D Socci, R Kahil, M Bozga, S Bensalem
2016
The system can't perform the operation now. Try again later.
Articles 1–17