Ph.D and Master Thesis

1. Khaoula Boukir
   Proven implementation of global multiprocessor real-time scheduling policies
   PhD Thesis, University of Nantes, Digital Sciences Laboratory of Nantes (LS2N), Nantes, France, November 2020.
   
   Manuscript
2. Khaoula Boukir
   Implementation of global schedulers within an OSEK/VDX compliant real-time operating system
   Master Thesis, Centrale Nantes, September 2016.
   
   Manuscript

International peer-reviewed conferences

1. K. Boukir, J-L. Béchennec, A-M. Déplanche
   Requirement specification and model-checking of a real-time scheduler implementation
   28th International Conference on Real-Time Networks and Systems (RTNS’20), June, 2020, Paris, France.
   
   Article
2. K. Boukir, J-L. Béchennec, A-M. Déplanche
   Formal approach for a verified implementation of Global EDF in Trampoline
   26th International Conference on Real-Time Networks and Systems (RTNS’18), October, 2018, Poitiers, France.
   
   Article
3. K. Boukir, J-L. Béchennec, A-M. Déplanche
   Reducing the gap between theory and practice : towards a proven implementation of Global EDF in Trampoline
   (Best paper award)
   11th Junior Researcher Workshop on Real-Time Computing (JRWRTC’17) in conjunction with RTNS’17, October, 2017, Grenoble, France.
   
   Article

French national conferences

1. K. Boukir, J-L. Béchennec, A-M. Déplanche
   Vérification d’une implémentation d’ordonnanceur temps réel par model-checking
   13th GDR SOC2 National Symposium (GDR SOC2 2019), June, 2019, Montpellier, France.