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