| Formal verification of virtual network function graphs in an sp-devops context S Spinoso, M Virgilio, W John, A Manzalini, G Marchetto, R Sisto Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015 …, 2015 | 41 | 2015 |
| Improving the formal verification of reachability policies in virtualized networks D Bringhenti, G Marchetto, R Sisto, S Spinoso, F Valenza, J Yusupov IEEE Transactions on Network and Service Management 18 (1), 713-728, 2020 | 31 | 2020 |
| Formally specifying and checking policies and anomalies in service function chaining F Valenza, S Spinoso, R Sisto Journal of Network and Computer Applications 146, 102419, 2019 | 24 | 2019 |
| A formal model of network policy analysis F Valenza, S Spinoso, C Basile, R Sisto, A Lioy 2015 IEEE 1st International Forum on Research and Technologies for Society …, 2015 | 21 | 2015 |
| A formal approach for network security policy validation. F Valenza, T Su, S Spinoso, A Lioy, R Sisto, M Vallini J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8 (1), 79-100, 2017 | 18 | 2017 |
| Final service provider devops concept and evaluation G Marchetto, R Sisto, W John, P Sköldström, B Pechenot, F Németh, ... arXiv preprint arXiv:1610.02387, 2016 | 8 | 2016 |
| Seamless configuration of virtual network functions in data center provider networks S Spinoso, M Leogrande, F Risso, S Singh, R Sisto Journal of Network and Systems Management 26, 222-249, 2018 | 5 | 2018 |
| Automatic configuration of opaque network functions in CMS S Spinoso, M Leogrande, F Risso, S Singh, R Sisto 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014 | 5 | 2014 |
| Verification and Configuration of Software-based Networks. S Spinoso Polytechnic University of Turin, Italy, 2017 | | 2017 |
