Walid Mokhtar Bennaceur

Présentation

Publications

Article dans une revue (2)

Performance Investigation of Stateless RL Methods for Optimal Bus Scheduling Perla Hajjar,Leïla Kloul,Dominique Barth International Journal of Intelligent Transportation Systems Research, 2025, ⟨10.1007/s13177-025-00522-8⟩ Article dans une revue hal-05304103v1
Formal models for safety and performance analysis of a data center system Walid Mokhtar Bennaceur,Leïla Kloul Reliability Engineering and System Safety, 2020, 193, pp.106643 -. ⟨10.1016/j.ress.2019.106643⟩ Article dans une revue hal-03487280v1

Communication dans un congrès (3)

Multi-approach Based Safety Analysis of a Wastewater Treatment System Anne Fernet,Leïla Kloul 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, Sep 2025, Athens, Greece. pp.33-47, ⟨10.1007/978-3-032-05073-1_3⟩ Communication dans un congrès hal-05320158v1
Adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning Perla Hajjar,Leïla Kloul,Dominique Barth INTSYS 2024, Dec 2024, Pisa (Italy), Italy. pp.162-176, ⟨10.1007/978-3-031-86370-7_10⟩ Communication dans un congrès hal-05302175v1
Analyse de la sûreté de fonctionnement d'un Data Center Walid M. Bennaceur,Leila Kloul Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France Communication dans un congrès hal-02066351v1

Thèse (1)

Formal models for safety analysis of a Data Center system Mokhtar Walid Bennaceur Modeling and Simulation. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLV078⟩ Thèse tel-02448316v1