Walid Mokhtar Bennaceur, Leïla Kloul. Formal models for safety and performance analysis of a data center system. Reliability Engineering and System Safety, Elsevier, 2020, 193, pp.106643 -. ⟨10.1016/j.ress.2019.106643⟩. ⟨hal-03487280⟩

Michel Batteux, Mokhtar Walid Bennaceur, Tatiana Prosvirnova, Antoine Rauzy. Benefits of graphical animation of advanced AltaRica 3.0 models. Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. ⟨hal-03429734⟩

Michel Batteux, Mokhtar Walid Bennaceur, Tatiana Prosvirnova, Antoine Rauzy. AltaRica 3.0 modeling pattern for production systems availability assessment. Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. ⟨hal-03429737⟩

Walid Bennaceur, Leila Kloul. Analyse de la sûreté de fonctionnement d'un Data Center. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02066351⟩

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