Dependable Computing Research Lab

[All | BibTeX Entries] [Papers] [Reports] [Authors]   Copyright Notice

Papers of Falai, L.


Papers:
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987

Technical Reports

Authors:
Falai, L.


A total of people have accessed this page since 4 March 2003
For more information on these papers/reports please contact: 
notify-email-img

Last modified: 
26 Jan 2017 at 14:33:55

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

International Conferences

A. Ceccarelli, L. Vinerbi, L. Falai, and A. Bondavalli. Racme: a framework to support v&v and certification. In IEEE LADC 2011), 2011. In Press.
[ ABSTRACT and BibTeX Entry ]

2010

International Journals

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. A new approach and a related tool for dependability measurements on distributed systems. volume 59, pages 820-831, 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

2009

International Conferences

A. Bondavalli, F. Brancati, A. Ceccarelli, and L. Falai. An experimental framework for the analysis and validation of software clocks. In LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS), pages 69-81, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

2008

International Conferences

A. Bondavalli, A. Ceccarelli, and L. Falai. Assuring resilient time synchronization. In SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Washington, DC, USA, 2008. IEEE Computer Society.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

A. Bondavalli and L. Falai. RODS: General framework for rigorous observation of distributed systems. In Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks., June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Enhancing the nekostat tool with uncertainty, resolution and intrusiveness evaluation capabilities. In DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking, June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

2007

Books Contributions

L. Falai and A. Bondavalli. Extending the applicability of the neko framework for the validation and verification of distributed algorithms. In P. Pelliccione, editor, SOFTWARE ENGINEERING AND FAULT TOLERANCE. World Scientific Publishing Co. Pte. Ltd, 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Foundations of measurement theory applied to the evaluation of dependability attributes. In DSN-2007 IEEE Int. Conference on Dependable Systems and Networks, June 25-28 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, and L. Falai. A self-aware clock for pervasive computing systems. In The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007), Febraury 7-9 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Towards making nekostat a proper measurement tool for the validation of distributed systems. In Proceedings of The 8th International Symposium on Autonomous Decentralized Systems, March 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2005

International Conferences

L. Falai, A. Bondavalli, and F. Di Giandomenico. Nekostat extension for neko: Quantitative evaluation of distributed algorithms. In Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05), 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative evaluation of distributed algorithms using the neko framework: the nekostat extension. In LADC, 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

L. Falai and A. Bondavalli. Experimental evalutation of the QoS of failure detectors on Wide Area Network. In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, june 2005.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

Reports

2008

A. Bondavalli, A. Ceccarelli, and L. Falai. Reliable and self-aware clock: complete description. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, May 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2004

L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative Evaluation using neko tool: NekoStat Extensions. Technical report, University of Firenze, Dip. Sistemi e Informatica, Nov 2004.
[ ABSTRACT and BibTeX Entry | PDF ]