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 FinizioA VNF modeling approach for verification purposes Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin YusupovAn efficient data exchange mechanism for chained network functions Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio, Roberto BonafigliaA framework for user-friendly verification-oriented VNF modeling Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin YusupovStudy and analysis of innovative network protocols and architectures Formal verication of Virtual Network Function graphs in an SP-DevOps context Push applications and dynamic content generation over Content-Centric Networking Interest Flooding Attack Countermeasures Assessment on Content Centric Networking An Efficient Data Exchange Algorithm for Chained Network Functions PIT Overload Analysis in Content Centric Networks
