Archivio Istituzionale della RicercaVIRGILIO, MATTEO
VIRGILIO, MATTEO
Dipartimento di Automatica e Informatica
031129
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.012 secondi).
(User-friendly) formal requirements verification in the context of ISO26262
2020 Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
A framework for user-friendly verification-oriented VNF modeling
2017 Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin
A VNF modeling approach for verification purposes
2019 Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.
An Efficient Data Exchange Algorithm for Chained Network Functions
2014 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo
An efficient data exchange mechanism for chained network functions
2018 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto
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
PIT Overload Analysis in Content Centric Networks
2013 Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo
Push applications and dynamic content generation over content-centric networking
2017 Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo
Study and analysis of innovative network protocols and architectures
2016 Virgilio, Matteo
| 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 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 | - |
| 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 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 |
| 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.pdf; 18JPDC-SharedBuffer-published.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 |
| 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 |
| 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 |