Khaoula Boukir

According to our database, Khaoula Boukir authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

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