Mounir Chadli

According to our database, Mounir Chadli authored at least 4 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Analyse of real-time systems from scheduling perspective. (Analyse des systèmes temps réel de point de vue ordonnancement).

Mounir Chadli

PhD thesis, 2018

High-level frameworks for the specification and verification of scheduling problems.

Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez

Int. J. Softw. Tools Technol. Transf., 2018

2017

Information Leakage as a Scheduling Resource.

Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016