Dario Socci
Dario Socci
Mentor a SIEMENS business
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mentor.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Mixed critical earliest deadline first
D Socci, P Poplavko, S Bensalem, M Bozga
2013 25th Euromicro Conference on Real-Time Systems, 93-102, 2013
522013
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
222015
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
142015
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
132013
Time-triggered mixed critical scheduler
D Socci, P Poplavko, S Bensalem, M Bozga
Proc. WMC, RTSS, 67-72, 2013
132013
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
122015
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), 141-181, 2018
92018
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
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
Université Grenoble Alpes (ComUE), 2016
62016
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
52018
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
22019
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
Völp, Marcus 232 Von Der Brüggen, Georg 157, 168 Wu, Lin 32 Yanagisawa, Yutaka 244
CW Yeh, T Nakajima, J Nakazawa, M Namiki, B Nikoli, N Nishio, H Noma, ...
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–18