Archivio Istituzionale della RicercaVIRGILIO, MATTEO
VIRGILIO, MATTEO
Dipartimento di Automatica e Informatica
031129
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 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 VNF modeling approach for verification purposes
2019 Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.
An efficient data exchange mechanism for chained network functions
2018 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto
Push applications and dynamic content generation over content-centric networking
2017 Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo
| 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.pdf; 18JPDC-SharedBuffer-published.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 |