Archivio Istituzionale della RicercaSPINOSO, SERENA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
A Formal Model of Network Policy Analysis
2015 Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio
Formal verification of Virtual Network Function graphs in an SP-DevOps context
2015 Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; Sisto, Riccardo
Automatic Configuration of Opaque Network Functions in CMS
2014 Spinoso, Serena; Leogrande, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Singh, S.; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Formal Model of Network Policy Analysis / Valenza, F., Spinoso, S., Basile, C., Sisto, R., Lioy, A.. - STAMPA. - (2015), pp. 516-522. (RTSI 2015 - First International Forum on Research and Technologies for Society and Industry Torino, Italy 16-18 September 2015) [10.1109/RTSI.2015.7325150]. | 1-gen-2015 | VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO | 2015RTSI.pdf; 2015RTSI_author.pdf |
| Formal verification of Virtual Network Function graphs in an SP-DevOps context / Spinoso, S., Virgilio, M., John, W., Manzalini, A., Marchetto, G., Sisto, R.. - STAMPA. - 9306:(2015), pp. 253-262. (European Conference on Service-Oriented and Cloud Computing (ESOCC) Taormina, Italy 15-17 September 2015) [10.1007/978-3-319-24072-5_18]. | 1-gen-2015 | SPINOSO, SERENAVIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo + | 2015_ESOCC_Verification.pdf |
| Automatic Configuration of Opaque Network Functions in CMS / Spinoso, S., Leogrande, M., Risso, F.G.O., Singh, S., Sisto, R.. - STAMPA. - (2014), pp. 750-755. (1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014) London, UK 8-11 December, 2014) [10.1109/UCC.2014.122]. | 1-gen-2014 | SPINOSO, SERENALEOGRANDE, MARCORISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + | 14NVSDN-ServiceInsertion.pdf |