Lorenzo Falai

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