Dependable Computing Research Lab

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

Papers 1999


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!

 

International Journals

D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems, 10(6):580-599, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

I. Mura and A. Bondavalli. Hierarchical modelling and evaluation of phased-mission systems. IEEE Transactions on Reliability, 48(4):360-368, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, F. Di Giandomenico, and I. Mura. An optimal value-based admission policy and its reflective use in real-time dependable systems. Real-Time Systems Journal, Kluwer Academic Publishers, 16(1):5-30, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to the evaluation of the reliability of iterative-execution software. STVR - Software Testing, Verification and Reliability, John Wiley and Sons, 9(3):145-166, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. In IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, pages 319-337, San Jose, CA, USA, January 6-8 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Coccoli, L. Simoncini, and A. Bondavalli. Analysis and validation of protocols for the realisation of distributed dependable applications in wireless networks. In First Int. Workshop on Networked Group Communication, NGC '99, Pisa, Italy, 1999.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, I. Mura, and K. S. Trivedi. Dependability modelling and sensitivity analysis of scheduled maintenance systems. In EDCC-3 European Dependable Computing Conference (also LNCS N. 1667), pages 7-23, Prague, Czech Republic, September 1999. Springer Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, I. Majzik, and I. Mura. Automatic dependability analysis for supporting design decisions in UML. In 4th IEEE High Assurance System Engineering Symposium (HASE99), pages 64-71, Washington D.C., USA, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, I. Majzik, and I. Mura. Automated dependability analysis of UML designs. In 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99), pages 139-144, Saint Malo, France, May 2-5 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli and I. Mura. High-level petri net modelling of phased mission systems. In 10th European Workshop on Dependable Computing (EWDC-10), pages 91-95, Vienna, Austria, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Integrated validation of dependable systems. In IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, June 27 - July 2 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Towards a discipline of system engineering: Validation of dependable systems. In IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98), pages 144-165. Williamsburg, VA, USA, November 11-13 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, M. Dal Cin, D. Latella, and A. Pataricza. High-level integrated design environment for dependability (HIDE). In WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems, pages 87-92, Monterey, CA, USA, November 18-20 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

F. Di Giandomenico, F. Grandoni, A. Bondavalli, and I. Mura. Scheduling solutions for a unified approach to the tolerance of value and timing faults. In 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track, Madison, Wisconsin USA, June 15-18 1999.
[ ABSTRACT and BibTeX Entry | PDF ]