Pubblicazioni (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 2019A VNF modeling approach for verification purposes Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov International Journal of Electrical and Computer Engineering (IJECE) Agosto 2019An 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 2018A 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 2017Study and analysis of innovative network protocols and architectures Matteo Virgilio PhD Dissertation Torino, 2016Formal 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, 2015Push applications and dynamic content generation over Content-Centric Networking M. Virgilio, G. Marchetto, R. Sisto International Journal of Communication Systems (IJCS) Marzo 2015Interest 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, 2015An 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, 2014PIT 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