Dependable Computing Research Lab

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

Papers 2008


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

P. Verissimo, N. Neves, M. Correia, A. Abou El Kalam, Y. Deswarte, A. Bondavalli, and A. Daidone. The crutial architecture for critical information infrastructures. In R. de Lemos et al., editor, Architecting Dependable Systems V, LNCS 5135, pages 1-27, Berlin Heidelberg, August 2008. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, P. Lollini, and L. Montecchi. Analysis of user perceived qos in ubiquitous umts environments subject to faults. In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), volume 0 of LNCS, pages 0-0. Springer Verlag, 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Daidone, S. Chiaradonna, A. Bondavalli, and P. Verissimo. Analysis of a redundant architecture for critical infrastructure protection. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS, pages 78-100. Springer, Heidelberg, 2008.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Evaluation of critical infrastructures: Challenges and viable approaches. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS 5135, pages 52-77. Springer, Heidelberg, 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

International Journals

M. Kaaniche, P. Lollini, A. Bondavalli, and K. Kanoun. Modeling the resilience of large and evolving systems. International Journal of Performability Engineering, 4(2):153-168, April 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Majzik, A. Bondavalli, S. Klapka, T.K. Madsen, and D. Iovino. Formal methods in the evaluation of a safe driver-machine interface. In FORMS-FORMAT 2008, October 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Analysis of the impact of communication protocols on service quality in ertms automatic train control systems. In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), pages 0-0, October 9-10 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

M. Kovacs, P. Lollini, I. Majzik, and A. Bondavalli. An integrated framework for the dependability evaluation of distributed mobile applications. In RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), pages 29-38, November 17-19 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli, and P. Veríssimo. A framework for dependable qos adaptation in probabilistic environments. In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing, pages 2192-2196, New York, NY, USA, 2008. ACM.
[ At publisher ] [ 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. 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 ]