VeriNeS: runtime verification of outsourced network services orchestration. - Moubarak Zoure; Toufik Ahmed; Laurent Réveillère (SAC, 2021)

GreenWebAdvisor: Discovering and Recommending Hidden Eco-Design' Best-Practices. - Moussa Aboubakar; Moubarak Zoure; Ines Ben Kraiem; Mouna Ben Mabrouk (CSCI, 2022)

Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods. - Moubarak Zoure; Toufik Ahmed; Laurent Réveillère (IEEE Trans. Netw. Serv. Manag., 2022)

Vérification d'anomalies dans les services réseau NFV externalisés vers le cloud. (Verification of anomalies in NFV-based network services outsourced to the cloud). - Moubarak Zoure (2022)