Formal approach for a verified implementation of Global EDF in Trampoline. - Khaoula Boukir; Jean-Luc Béchennec; Anne-Marie Déplanche (RTNS, 2018)

Requirement specification and model-checking of a real-time scheduler implementation. - Khaoula Boukir; Jean-Luc Béchennec; Anne-Marie Déplanche (RTNS, 2020)

Advances in the Security of SDNs: Exploration of Recent ML-Based Approaches. - Ilyasse Mellal; Abderrahim Ait Wakrime; Khaoula Boukir (SADASC (2), 2024)