Moubarak ZOURE


Doctorant en informatique

Publications


Download BibTeX

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