| 2023 | SAFECOMP | A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. | Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai |
| 2019 | SAFECOMP | The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. | Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher |
| 2008 | SRDS | Assuring Resilient Time Synchronization. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
| 2007 | DSN | Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
| 2007 | ISADS | Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
| 2007 | PDP | A Self-Aware Clock for Pervasive Computing Systems. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
| 2005 | DSN | Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. | Lorenzo Falai, Andrea Bondavalli |