Serena Spinoso

According to our database, Serena Spinoso authored at least 9 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

2019

Formally specifying and checking policies and anomalies in service function chaining.

Fulvio Valenza, Serena Spinoso, Riccardo Sisto

J. Netw. Comput. Appl., 2019

2018

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

2017

Verification and Configuration of Software-based Networks.

Serena Spinoso

PhD thesis, 2017

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

2016

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, Sachin Sharma, Ioanna Papafili, Serena Spinoso, Matteo Virgilio, Rebecca Steinert, Per Kreuger, Shaoteng Liu, Jan Ekman, Antonio Manzalini, Apoorv Shukla

CoRR, 2016

2015

A formal model of network policy analysis.

Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context.

Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

2014

Automatic Configuration of Opaque Network Functions in CMS.

Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014