VIRGILIO, MATTEO
VIRGILIO, MATTEO
Dipartimento di Automatica e Informatica
031129
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.033 secondi).
A framework for user-friendly verification-oriented VNF modeling
2017 Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin
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
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking
2015 Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo
An Efficient Data Exchange Algorithm for Chained Network Functions
2014 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo
PIT Overload Analysis in Content Centric Networks
2013 Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A framework for user-friendly verification-oriented VNF modeling / Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin. - ELETTRONICO. - 1:(2017), pp. 517-522. (Intervento presentato al convegno IEEE Computer Software and Applications Conference (COMPSAC) tenutosi a Turin, Italy nel July 4-8, 2017) [10.1109/COMPSAC.2017.16]. | 1-gen-2017 | MARCHETTO, GUIDOSISTO, RiccardoVIRGILIO, MATTEOYUSUPOV, JALOLLIDDIN | - |
Formal verification of Virtual Network Function graphs in an SP-DevOps context / Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; Sisto, Riccardo. - STAMPA. - 9306:(2015), pp. 253-262. (Intervento presentato al convegno European Conference on Service-Oriented and Cloud Computing (ESOCC) tenutosi a Taormina, Italy nel 15-17 September 2015) [10.1007/978-3-319-24072-5_18]. | 1-gen-2015 | SPINOSO, SERENAVIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo + | 2015_ESOCC_Verification.pdf |
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking / Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo. - STAMPA. - (2015), pp. 721-724. (Intervento presentato al convegno International Conference on Information Technology: New Generations (ITNG 2015) tenutosi a Las Vegas, Nevada, USA nel April 13-15, 2015) [10.1109/ITNG.2015.122]. | 1-gen-2015 | VIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo | 2015_ITNG_CCN.pdf |
An Efficient Data Exchange Algorithm for Chained Network Functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo. - STAMPA. - (2014), pp. 98-105. (Intervento presentato al convegno 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014) tenutosi a Vancouver, BC, Canada nel July 2014) [10.1109/HPSR.2014.6900888]. | 1-gen-2014 | CERRATO, IVANOMARCHETTO, GUIDORISSO, FULVIO GIOVANNI OTTAVIOSISTO, RiccardoVIRGILIO, MATTEO | 14HPSR-SharedBuffer.pdf |
PIT Overload Analysis in Content Centric Networks / Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo. - STAMPA. - (2013), pp. 67-72. (Intervento presentato al convegno ACM SIGCOMM Workshop on Information-Centric Networking (ICN 2013) tenutosi a Hong Kong, China nel August 12, 2013) [10.1145/2491224.2491225]. | 1-gen-2013 | VIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo | 2013_ICN_PIT-Analysis.pdf |