Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. - Lorenzo Falai; Andrea Bondavalli (DSN, 2005)

Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. - Lorenzo Falai; Andrea Bondavalli; Felicita Di Giandomenico (LADC, 2005)

NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. - Lorenzo Falai; Andrea Bondavalli; Felicita Di Giandomenico (QEST, 2005)

Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (DSN, 2007)

Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (ISADS, 2007)

A Self-Aware Clock for Pervasive Computing Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai (PDP, 2007)

Assuring Resilient Time Synchronization. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai (SRDS, 2008)

An Experimental Framework for the Analysis and Validation of Software Clocks. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Lorenzo Falai (SEUS, 2009)

Available and safe message freshness detection algorithm. - Andrea Bondavalli; Lorenzo Falai; Stefano Porcarelli; Salvatore Sabina; Fabrizio Zanini (Int. J. Crit. Comput. Based Syst., 2010)

A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (IEEE Trans. Instrum. Meas., 2010)

RACME: A Framework to Support V&V and Certification. - Andrea Ceccarelli; Lorenzo Vinerbi; Lorenzo Falai; Andrea Bondavalli (LADC, 2011)

Foundations of Metrology in the Observation of Critical Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (Resilience Assessment and Evaluation of Computing Systems, 2012)

Resilient estimation of synchronisation uncertainty through software clocks. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (Int. J. Crit. Comput. Based Syst., 2013)

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. - Andrea Ceccarelli; Davide Basile 001; Andrea Bondavalli; Lorenzo Falai; Alessandro Fantechi; Sandro Ferrari; Gianluca Mandò; Nicola Nostro; Luigi Rucher (SAFECOMP Workshops, 2019)

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 (SAFECOMP Workshops, 2023)