Dependable Computing Research Lab

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

Papers 2001


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:34:01

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

Books Contributions

D. Powell, A. Amendola, J. Arlat, B. Attermeyer, L. Beus-Dukic, A. Bondavalli, P. Coppola, C. Dambra, A. Fantechi, E. Jenn, C. Rabéjac, V. Thevenot, and A. Wellings. Introduction and overview. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 2-26. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, D. Powell, and C. Rabéjac. Error processing and fault treatment. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 71-86. ISBN 0-7923-7295-6, Kluwer Academic Publishers, Boston, January 2001.
[ ABSTRACT and BibTeX Entry ]

J. Arlat, A. Bondavalli, F. Di Giandomenico, M. T. Jarboui, E. Jenn, K. Kanoun, I. Mura, and D. Powell. Dependability evaluation. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 157-191. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ ABSTRACT and BibTeX Entry ]

International Journals

I. Mura and A. Bondavalli. Markov regenerative stochastic Petri nets to model and evaluate the dependability of phased missions. IEEE Transactions on Computers, 50(12):1337-1351, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

F. Grandoni, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Evaluation of fault-tolerant multiprocessor systems for high assurance applications. Special Issue on High Assurance Systems of The Computer Journal, 44(6):544-556, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, M. Nelli, L. Simoncini, and G. Mongardi. Hierarchical modelling of complex control systems: Dependability analysis of a railway interlocking. Journal of Computer Systems Science and Engineering, CRL Publishing, 16(4):249-261, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Design validation of embedded dependable systems. IEEE MICRO (special issue on embedded fault tolerant systems), 21(5):52-62, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering, 16(5):265-275, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and L. Simoncini. Modeling and analysis of the behavior of GPRS systems. In WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems, pages 51-58, Rome, Italy, January 2001 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Analysis of the effects of outages on the quality of service of GPRS network systems. In IEEE Int. Conference on Dependable Systems and Networks (DSN-2001), pages 235-244, Göteborg, Sweden, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, A. Chohra, and A. Bondavalli. Tuning of database audits to improve scheduled maintenance in communication systems. In U. Voges, editor, SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security, pages 238-248, Budapest, Hungary, 2001. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

I. Mura and A. Bondavalli. Impact of outages on GPRS service availability. In Fast Abstract, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Chohra, F. Di Giandomenico, S. Porcarelli, and A. Bondavalli. Towards optimal database maintenance in wireless communication systems. In N. Callaos, N. I. Da Silva, and J. Molero, editors, The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development, pages 571-576, Orlando, Florida, USA, July 22-25 2001. IIIS.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Coccoli, A. Bondavalli, and F. Di Giandomenico. Analysis and estimation of the quality of service of group communication protocols. In ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing, pages 209-216, Magdeburg, Germany, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

A. Bondavalli and R. Filippini. Modelling and analysis of a scheduled maintenance system: a dspn approach. In DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track), goteborg Sweden, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]