Lorenzo Falai

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Database Software

Inherent Uncertainty

Microsoft Windows

Top Venues

SAFECOMP Workshops

Int. J. Crit. Comput. Based Syst.

Publications

Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. SAFECOMP Workshops (2023)
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops (2019)
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
Resilient estimation of synchronisation uncertainty through software clocks. Int. J. Crit. Comput. Based Syst. 4 (4) (2013)
Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli
RACME: A Framework to Support V&V and Certification. LADC (2011)
Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini
Available and safe message freshness detection algorithm. Int. J. Crit. Comput. Based Syst. 1 (4) (2010)
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. IEEE Trans. Instrum. Meas. 59 (4) (2010)
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai
An Experimental Framework for the Analysis and Validation of Software Clocks. SEUS (2009)
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai
Assuring Resilient Time Synchronization. SRDS (2008)
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai
A Self-Aware Clock for Pervasive Computing Systems. PDP (2007)
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. ISADS (2007)
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. DSN (2007)
Lorenzo Falai, Andrea Bondavalli
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. DSN (2005)
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. QEST (2005)
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. LADC (2005)