Khaoula Boukir

According to our database, Khaoula Boukir authored at least 4 papers between 2018 and 2024.

Collaborative distances:

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

2024

Advances in the Security of SDNs: Exploration of Recent ML-Based Approaches.

Ilyasse Mellal, Abderrahim Ait Wakrime, Khaoula Boukir

Proceedings of the Smart Applications and Data Analysis - 5th International Conference, 2024

2020

Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée. (Proven implementation of multiprocessor real-time scheduling policies).

Khaoula Boukir

PhD thesis, 2020

Requirement specification and model-checking of a real-time scheduler implementation.

Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

2018

Formal approach for a verified implementation of Global EDF in Trampoline.

Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018