- (User-friendly) formal requirements verification in the context of ISO26262
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio
Engineering Science and Technology, an International Journal
Ottobre 2019 - A VNF modeling approach for verification purposes
Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov
International Journal of Electrical and Computer Engineering (IJECE)
Agosto 2019 - An efficient data exchange mechanism for chained network functions
Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio, Roberto Bonafiglia
Journal of Parallel and Distributed Computing
Aprile 2018 - A framework for user-friendly verification-oriented VNF modeling
Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov
Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual
Torino, Luglio 2017 - Study and analysis of innovative network protocols and architectures
Matteo Virgilio
PhD Dissertation
Torino, 2016 - Formal verication of Virtual Network Function graphs in an SP-DevOps context
Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto and Riccardo Sisto
Fourth European Conference on Service-Oriented and Cloud Computing (ESOCC '15)
Taormina, 2015 - Push applications and dynamic content generation over Content-Centric Networking
M. Virgilio, G. Marchetto, R. Sisto
International Journal of Communication Systems (IJCS)
Marzo 2015 - Interest Flooding Attack Countermeasures Assessment on Content Centric Networking
M. Virgilio, G. Marchetto, R. Sisto
12th International Conference on Information Technology: New Generations (ITNG 2015) - Poster
Las Vegas, 2015 - An Efficient Data Exchange Algorithm for Chained Network Functions
I. Cerrato, G. Marchetto, F. Risso, R. Sisto, M. Virgilio
2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014)
Best Paper Award Finalist
Vancouver, 2014 - PIT Overload Analysis in Content Centric Networks
M. Virgilio, G. Marchetto, R. Sisto
3rd ACM SIGCOMM Workshop on Information-Centric Networking (ICN 2013)
Hong Kong, 2013