PhD Theses

Date Author Title Advisors Manuscript
Apr 2026 Andrea Marchetta Simulation and co-simulation environments for the Cooperative, Connected and Automated Mobility (CCAM)​ Advisor: Prof. Gennaro Nicola Bifulco

Co-Advisor: Prof. Marcello Cinque
Download
Feb 2026 Cristina Improta Assessing and Enhancing Code Quality in the Era of AI-Developed Software​ Advisor: Prof. Domenico Cotroneo Download
Feb 2026 Carmine Cesarano Software Attack Surfaces Reduction via Security Hardening, Fuzzing, and Runtime Enforcement​ Advisor: Prof. Roberto Natella Download
Apr 2025 Simona De Vivo Enhancing IoT Security:​ Developing and Validating Sustainable Intrusion Detection Strategies​ Advisor: Prof. Domenico Cotroneo Download
Feb 2025 Daniele Ottaviano Advancing Mixed-criticality Real-time Embedded Systems for Fusion Diagnostics and Control Advisor: Prof. Marcello Cinque

Co-Advisor: Prof. Gianmaria De Tommasi
Download
Feb 2025 Luca Giamattei Reasoning-based Software Testing Advisor: Prof. Roberto Pietrantuono Download
Feb 2025 Giorgio Farina Improving Isolation in Real-Time Cloud Platforms Advisor: Prof. Marcello Cinque Download
Feb 2025 Marco Barletta Mixed-criticality Orchestration of Real-time Containerized Systems Advisor: Prof. Marcello Cinque Download
Feb 2024 Vittorio Orbinato A Cyber Threat Intelligence-driven Framework for Adversary Emulation Advisor: Prof. Domenico Cotroneo

Co-Advisor: Prof. Roberto Natella
Download
May 2022 Antonio Guerriero Operational Accuracy Assessment of CNN-based Image Classifiers Advisor: Prof. Stefano Russo

Co-Advisor: Prof. Roberto Pietrantuono
Download
May 2022 Pietro Liguori Fault Injection for Cloud Computing Systems from Failure Mode Analysis to Run-time Failure Detection Advisor: Prof. Domenico Cotroneo

Co-Advisor: Prof. Roberto Natella
Download
Feb 2019 Stefano Rosiello Autonomic Overload Management for Large-Scale Virtualized Network Functions Advisor: Prof. Domenico Cotroneo Download
Jan 2018 Antonio Ken Iannillo Dependability Assessment of Android OS Advisor: Prof. Domenico Cotroneo Download
Oct 2017 Ugo Giordano In-Production Continuous Testing for Future Telco Cloud Advisor: Prof. Stefano Russo Download
May 2017 Luigi De Simone Dependability Benchmarking of Network Function Virtualization Advisor: Prof. Domenico Cotroneo Download
May 2016 Fabio Scippacercola A Model-Driven Methodology for Critical Systems Engineering Advisor: Prof. Stefano Russo Download
May 2016 Raffaele Della Corte Understanding the Error Behavior of Complex Critical Software Systems through Field Data Advisor: Prof. Marcello Cinque Download
Jun 2015 Francesco Fucci Model-Based Verification of Operating Systems Device Drivers Advisor: Prof. Domenico Cotroneo Download
May 2014 Flavio Frattini Consumability Analysis of Batch Processing Systems Advisor: Prof. Stefano Russo Download
May 2014 Anna Lanzaro On the Quality of Fault Injection For Off-The-Shelf Components in Safety-Critical Systems Advisor: Prof. Domenico Cotroneo Download
Apr 2013 Antonio Bovenzi On-line Detection of Anomalies in Mission-Critical Software Systems Advisor: Prof. Stefano Russo Download
Apr 2013 Domenico Di Leo Robustness Evaluation of Software Systems through Fault Injection Advisor: Prof. Domenico Cotroneo Download
Apr 2013 Alessandro Testa Dependability Assessment of Wireless Sensor Networks with Formal Methods Advisor: Prof. Marcello Cinque

Co-Advisor: Dr. Antonio Coronato
Download
Dec 2011 Roberto Natella Achieving Representative Faultloads in Software Fault Injection Advisor: Prof. Domenico Cotroneo Download
Dec 2011 Antonio Pecchia On the Use of Event Logs for the Analysis of System Failures Advisor: Prof. Stefano Russo Download
Dec 2009 Catello Di Martino Resiliency Assessment of Wireless Sensor Networks: A Holistic Approach Advisor: Prof. Domenico Cotroneo Download
Dec 2009 Christian Carmine Esposito Reliable Event Dissemination For Time-Sensible Applications over Wide-Area Networks Advisor: Prof. Stefano Russo

Co-Advisors: Proff. Douglas C. Schmidt, Aniruddha Gokhale, Vanderbilt University, USA
Download
Dec 2009 Roberto Pietrantuono Reliability-Oriented Verification of Mission-Critical Software Systems Advisor: Prof. Stefano Russo Download
Dec 2008 Gabriella Carrozza Software Faults Diagnosis in Complex OTS-Based Criticial Systems Advisor: Prof. Stefano Russo Download
Dec 2007 Salvatore Orlando Software Aging Analysis of Off-the-Shelf Software Items Advisor: Prof. Stefano Russo Download
Dec 2006 Marcello Cinque Dependability Evaluation of Mobile Distributed Systems via Field Failure Data Analysis Advisor: Prof. Domenico Cotroneo Download
Dec 2006 Armando Migliaccio The design and development of a nomadic computing middleware: the Esperanto Broker Advisor: Prof. Stefano Russo Download
Dec 2006 Generoso Paolillo Strategies for Achieving Dependability in Parallel File Systems Advisor: Prof. Stefano Russo Download
Nov 2004 Cristiano Di Flora Service Discovery and Delivery in Interoperable Nomadic Computing Systems Advisor: Prof. Stefano Russo

Co-Advisor: Prof. Kimmo Raatikainen, University of Helsinki, Finland
Download
Nov 2004 Almerindo Graziano Achieving Secure Service Provision in Nomadic Computing Systems Advisor: Prof. Stefano Russo Download
Nov 2001 Domenico Cotroneo Implementation strategies for developing middleware-based Distributed Dependable Applications Advisor: Prof. Stefano Russo

Co-Advisor: Prof. Andrea Bondavalli, Università di Firenze, Italy
Download