VIRGILIO, MATTEO

VIRGILIO, MATTEO  

Dipartimento di Automatica e Informatica  

031129  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.016 secondi).
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