Priority-based scheduling of mixed-critical jobs.
Real Time Syst., 2019
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
,
,
,
,
,
,
,
,
,
,
,
,
Des. Autom. Embed. Syst., 2018
Algorithmic Complexity of Correctness Testing in MC-Scheduling.
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018
Predictability in Mixed-Criticality Systems.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018
Scheduling of certifiable mixed-criticality systems. (Ordonnancement des systèmes certifiés avec différents niveaux de criticité).
PhD thesis, 2016
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
A Timed-Automata Based Middleware for Time-Critical Multicore Applications.
Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Models for deterministic execution of real-time multiprocessor applications.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
ASP-based optimized mapping in a simulink-to-MPSoC design flow.
J. Syst. Archit., 2014
Mixed Critical Earliest Deadline First.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013