Automatic Configuration of Opaque Network Functions in CMS. - Serena Spinoso; Marco Leogrande; Fulvio Risso; Sushil Singh; Riccardo Sisto (UCC, 2014)

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. - Serena Spinoso; Matteo Virgilio; Wolfgang John; Antonio Manzalini; Guido Marchetto; Riccardo Sisto (ESOCC, 2015)

A formal model of network policy analysis. - Fulvio Valenza; Serena Spinoso; Cataldo Basile; Riccardo Sisto; Antonio Lioy (RTSI, 2015)

Final Service Provider DevOps concept and evaluation. - Guido Marchetto; Riccardo Sisto; Wolfgang John; Pontus Sköldström; Bertrand Pechenot; Felicián Németh; István Pelle; Juhoon Kim; Xuejun Cai; Chunyan Fu; Catalin Meirosu; Kostas Pentikousis; et al. (CoRR, 2016)

A formal approach for network security policy validation. - Fulvio Valenza; Tao Su; Serena Spinoso; Antonio Lioy; Riccardo Sisto; Marco Vallini (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Verification and Configuration of Software-based Networks. - Serena Spinoso (2017)

Seamless Configuration of Virtual Network Functions in Data Center Provider Networks. - Serena Spinoso; Marco Leogrande; Fulvio Risso; Sushil Singh; Riccardo Sisto (J. Netw. Syst. Manag., 2018)

Formally specifying and checking policies and anomalies in service function chaining. - Fulvio Valenza; Serena Spinoso; Riccardo Sisto (J. Netw. Comput. Appl., 2019)

Improving the Formal Verification of Reachability Policies in Virtualized Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Serena Spinoso; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Netw. Serv. Manag., 2021)