Moubarak Zoure, Toufik Ahmed, Laurent Réveillère. VeriNeS: runtime verification of outsourced network services orchestration. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 1138-1146, ACM, 2021. [doi]
@inproceedings{ZoureAR21, title = {VeriNeS: runtime verification of outsourced network services orchestration}, author = {Moubarak Zoure and Toufik Ahmed and Laurent Réveillère}, year = {2021}, doi = {10.1145/3412841.3441988}, url = {https://doi.org/10.1145/3412841.3441988}, researchr = {https://researchr.org/publication/ZoureAR21}, cites = {0}, citedby = {0}, pages = {1138-1146}, booktitle = {SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021}, editor = {Chih-Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song}, publisher = {ACM}, isbn = {978-1-4503-8104-8}, }