 | 2011 |
| 11 |  | Andrea Ceccarelli,
Lorenzo Vinerbi,
Lorenzo Falai,
Andrea Bondavalli:
RACME: A Framework to Support V&V and Certification.
LADC 2011: 116-125 |
| 2010 |
| 10 |  | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai,
Michele Vadursi:
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems.
IEEE T. Instrumentation and Measurement 59(4): 820-831 (2010) |
| 9 |  | Andrea Bondavalli,
Lorenzo Falai,
Stefano Porcarelli,
Salvatore Sabina,
Fabrizio Zanini:
Available and safe message freshness detection algorithm.
IJCCBS 1(4): 336-363 (2010) |
| 2009 |
| 8 |  | Andrea Bondavalli,
Francesco Brancati,
Andrea Ceccarelli,
Lorenzo Falai:
An Experimental Framework for the Analysis and Validation of Software Clocks.
SEUS 2009: 69-81 |
| 2008 |
| 7 |  | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
Assuring Resilient Time Synchronization.
SRDS 2008: 3-12 |
| 2007 |
| 6 |  | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai,
Michele Vadursi:
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.
DSN 2007: 522-533 |
| 5 |  | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai,
Michele Vadursi:
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems.
ISADS 2007: 377-386 |
| 4 |  | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
A Self-Aware Clock for Pervasive Computing Systems.
PDP 2007: 403-411 |
| 2005 |
| 3 |  | Lorenzo Falai,
Andrea Bondavalli:
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network.
DSN 2005: 624-633 |
| 2 |  | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
LADC 2005: 35-51 |
| 1 |  | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.
QEST 2005: 241-242 |