Lorenzo Falai

According to our database, Lorenzo Falai authored at least 15 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2019

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

Proceedings of the Computer Safety, Reliability, and Security, 2019

2013

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

2012

Foundations of Metrology in the Observation of Critical Systems.

Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

RACME: A Framework to Support V&V and Certification.

Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

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

Available and safe message freshness detection algorithm.

Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini

Int. J. Crit. Comput. Based Syst., 2010

2009

An Experimental Framework for the Analysis and Validation of Software Clocks.

Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

2008

Assuring Resilient Time Synchronization.

Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

2007

A Self-Aware Clock for Pervasive Computing Systems.

Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai

Proceedings of the 15th Euromicro International Conference on Parallel, 2007

Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems.

Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.

Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2005

NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.

Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.

Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network.

Lorenzo Falai, Andrea Bondavalli

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005