Dependable Computing Research Lab

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

Papers 2007


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:


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:59

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

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 ]

Edited Books

A. Bondavalli, F. V. Brasileiro, and S. Rajsbaum, editors. Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, volume 4746 of Lecture Notes in Computer Science. Springer, 2007.
[ ABSTRACT and BibTeX Entry ]

International Journals

M. Serafini, A. Bondavalli, and N. Suri. Online diagnosis and recovery: On the choice and impact of tuning parameters. IEEE Trans. on Dependable and Secure Computing, 4(4):295-312, 2007.
[ ABSTRACT and BibTeX Entry ]

International Conferences

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. In 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), pages 305-312, Dallas, Texas, USA, November 2007.
[ ABSTRACT and BibTeX Entry ]

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. Daidone. Diagnosis framework for complex critical systems/infrastructures. In DSN-2007 student forum, June 25-28 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On a modeling framework for the analysis of interdependencies in electric power systems. In IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007), pages 185-195, Edinburgh, UK, June 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 ]