Dependable Computing Research Lab

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

Papers of Ceccarelli, A.


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:
Ceccarelli, A.


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

International Conferences

A. Ceccarelli, M. Vieira, and A. Bondavalli. A service discovery approach for testing dynamic soas. In IEEE ISORCW-SORT 2011, March 2011. in press.
[ ABSTRACT and BibTeX Entry ]

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

Books Contributions

A. Bondavalli, A. Ceccarelli, and P. Lollini. Architecting and validating dependable systems: Experiences and visions. In Architecting Dependable Systems VII, LNCS, Berlin Heidelberg, January 2010. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

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 ]

International Conferences

A. Bondavalli, F. Brancati, A. Ceccarelli, and M. Vadursi. Experimental validation of a synchronization uncertainty-aware software clock. Reliable Distributed Systems, IEEE Symposium on, 0:245-254, 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, J. Gronbaek, L. Montecchi, H.-P. Schwefel, and A. Bondavalli. Towards a framework for self-adaptive reliable network services in highly-uncertain environments. In Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on, pages 184 -193, May 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

J. Gronbaek, H.P. Schwefel, A. Ceccarelli, and A. Bondavalli. Improving robustness of network fault diagnosis to uncertainty in observations. In Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on, pages 229 -232, July 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

2009

International Journals

A. Bondavalli, A. Ceccarelli, J. Gronbaek, D. Iovino, L. Karna, S. Klapka, T.K. Madsen, M. Magyar, I. Majzik, and A. Salzo. Design and evaluation of a safe driver machine interface. IJPE, 4(2):153-166, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

A. Bondavalli, F. Brancati, and A. Ceccarelli. Safe estimation of time uncertainty of local clocks. In Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009, pages 47-52, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Ceccarelli, A. Bondavalli, and D. Iovino. Trustworthy evaluation of a safe driver machine interface through software-implemented fault injection. In IEEE 15th Pacific Rim International Symposium on Dependable Computing, pages 234-241, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

A. Ceccarelli. Towards techniques and methodologies for collecting trusted observation results. In Student Forum at DSN-2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume, pages G34-G37, June 29-July 2 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 ]

A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter, and A. Bondavalli. A resilient sil 2 driver machine interface for train control systems. In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

A. Ceccarelli, D. Iovino, and A. Bondavalli. A fault injection tool for trustworthy, comparative measurements and analysis. In IEEE SRDS 2008 Workshop, October 5 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

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 ]

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 ]