VIRGILIO, MATTEO

VIRGILIO, MATTEO  

Dipartimento di Automatica e Informatica  

031129  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.011 secondi).
Citazione Data di pubblicazione Autori File
(User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] 1-gen-2020 Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + 1-s2.0-S2215098619306147-main.pdf
A VNF modeling approach for verification purposes / Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - 9:4(2019), pp. 2627-2636. [10.11591/ijece.v9i4.pp2627-2636] 1-gen-2019 Marchetto G.Sisto R.Virgilio M.Yusupov J. document.pdf
An efficient data exchange mechanism for chained network functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto. - In: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. - ISSN 0743-7315. - STAMPA. - 114:(2018), pp. 1-15. [10.1016/j.jpdc.2017.12.003] 1-gen-2018 Ivano CerratoGuido MarchettoFulvio RissoRiccardo SistoMatteo VirgilioRoberto Bonafiglia sharedBuffer.pdf18JPDC-SharedBuffer-published.pdf
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 -
Push applications and dynamic content generation over content-centric networking / Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS. - ISSN 1099-1131. - STAMPA. - 30:3(2017), pp. 1-16. [10.1002/dac.2964] 1-gen-2017 VIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo 2017_IJCS.pdf
Study and analysis of innovative network protocols and architectures / Virgilio, Matteo. - (2016). [10.6092/polito/porto/2643655] 1-gen-2016 VIRGILIO, MATTEO VIRGILIO_MATTEO_thesis.pdf
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