Serena Spinoso

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Network Configuration

Incident Management

Formal Verification

Top Venues

IEEE Trans. Netw. Serv. Manag.

J. Netw. Syst. Manag.

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

Publications

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov
Improving the Formal Verification of Reachability Policies in Virtualized Networks. IEEE Trans. Netw. Serv. Manag. 18 (1) (2021)
Fulvio Valenza, Serena Spinoso, Riccardo Sisto
Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. 146 (2019)
Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
Seamless Configuration of Virtual Network Functions in Data Center Provider Networks. J. Netw. Syst. Manag. 26 (1) (2018)
Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini
A formal approach for network security policy validation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8 (1) (2017)
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, Sachin Sharma, Ioanna Papafili, Serena Spinoso, Matteo Virgilio, Rebecca Steinert, Per Kreuger, Shaoteng Liu, Jan Ekman, Antonio Manzalini, Apoorv Shukla
Final Service Provider DevOps concept and evaluation. CoRR (2016)
Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
A formal model of network policy analysis. RTSI (2015)
Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto
Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. ESOCC (2015)
Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
Automatic Configuration of Opaque Network Functions in CMS. UCC (2014)