| Mixed critical earliest deadline first D Socci, P Poplavko, S Bensalem, M Bozga 2013 25th Euromicro conference on real-time systems, 93-102, 2013 | 57 | 2013 |
| 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 | 30 | 2015 |
| 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 | 19 | 2015 |
| 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 | 18 | 2013 |
| Time-triggered mixed critical scheduler D Socci, P Poplavko, S Bensalem, M Bozga Proc. WMC, RTSS, 67-72, 2013 | 15 | 2013 |
| 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 | 14 | 2015 |
| 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 | 13 | 2018 |
| Scheduling of certifiable mixed-criticality systems D Socci Université Grenoble Alpes, 2016 | 11 | 2016 |
| 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 | 9 | 2018 |
| 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 | 9 | 2014 |
| Priority-based scheduling of mixed-critical jobs D Socci, P Poplavko, S Bensalem, M Bozga Real-Time Systems 55 (4), 709-773, 2019 | 8 | 2019 |
| A Timed-Automata Based Middleware for Time-Critical Multicore Applications D Socci, P Poplavko, S Bensalem, M Bozga ISORCW 2015, 2015 | 8 | 2015 |
| 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 | 7 | 2018 |
| 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 | 7 | 2016 |
| Revisiting the computational complexity of mixed-critical scheduling R Kahil, P Poplavko, D Socci, S Bensalem Proc. WMC, RTSS (2017), 2017 | 5 | 2017 |
| Multicore code generation for time-critical applications P Poplavko, P Bourgos, D Socci, S Bensalem, M Bozga verimag. imag. fr/multicore-time-critical-code470. html, 0 | 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 |
Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail verificata su univ-grenoble-alpes.fr
