Moubarak ZOURE


Doctorant en informatique

Toufik AHMED


Directeur de thèse



Publications


Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods


Moubarak Zoure, Toufik Ahmed, Laurent Réveillére


IEEE Transactions on Network and Service Management, 2022, pp. 1-1


VeriNeS: Runtime Verification of Outsourced Network Services Orchestration


Moubarak ZOURE, Toufik AHMED, Laurent REVEILLERE


SAC '21, Proceedings of the 36th Annual ACM Symposium on Applied Computing, Association for Computing Machinery, New York, NY, USA, 2021, pp. 1138–1146

Share