Follow
Dario Socci
Dario Socci
Siemens EDA
Verified email at siemens.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
582013
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
262015
Modeling mixed-critical systems in real-time BIP
D Socci, P Poplavko, S Bensalem, M Bozga
1st workshop on Real-Time Mixed Criticality Systems, 2013
172013
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
142015
Time-triggered mixed critical scheduler
D Socci, P Poplavko, S Bensalem, M Bozga
Proc. WMC, RTSS, 67-72, 2013
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
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, 141-181, 2018
112018
Scheduling of certifiable mixed-criticality systems
D Socci
Université Grenoble Alpes (ComUE), 2016
102016
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
82014
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
72018
Mixed-critical systems design with coarse-grained multi-core interference
P Poplavko, R Kahil, D Socci, S Bensalem, M Bozga
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
72016
A Timed-Automata Based Middleware for Time-Critical Multicore Applications
D Socci, P Poplavko, S Bensalem, M Bozga
ISORCW 2015, 2015
72015
Priority-based scheduling of mixed-critical jobs
D Socci, P Poplavko, S Bensalem, M Bozga
Real-Time Systems 55 (4), 709-773, 2019
62019
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
62018
Revisiting the computational complexity of mixed-critical scheduling
R Kahil, P Poplavko, D Socci, S Bensalem
Proc. WMC, RTSS (2017), 2017
52017
Multicore code generation for time-critical applications
P Poplavko, P Bourgos, D Socci, S Bensalem, M Bozga
4
Process Networks for Reactive Streaming with Timed-automata Implementation
P Poplavko, D Socci, R Kahil, M Bozga, S Bensalem
IDEA 2016 Workshop-Integrating Dataflow, Embedded Computing, and …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–17