Dependable Computing Research Lab

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

Papers 1995


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

Books Contributions

J. Xu, A. Bondavalli, and F. Di Giandomenico. Dynamic adjustment of dependability and efficiency in fault-tolerant software. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 155-172. Springer-Verlag, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, J. A. Stankovic, and L. Strigini. Adaptable fault tolerance for real-time systems. In D. Fussell and M. Malek, editors, Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pages 187-208. Kluwer Academic Publishers, Boston, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Rational design of multiple-redundant systems: Adjudication and fault treatment. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 141-154. Springer-Verlag, 1995.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability analysis of iterative fault tolerant software considering correlation. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 459-472. Springer-Verlag, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

International Journals

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Using process algebras for the semantic analysis of data flow networks. IEICE Trans. on Information and Systems, E78-D(8):959-968, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability models for iterative software considering correlation among successive inputs. In IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), pages 13-21, Erlangen, Germany, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and S. La Torre. Dependability of iterative software: a model for evaluating the effects of input correlation. In 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95), pages 489-503, Belgirate, Italy, October 11-13 1995. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico, and F. Tarini. Design of flexible and dependable real-time applications. In Pergamon Press, editor, 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

National Conferences

P. Bizzarri, F. Di Giandomenico, A. Bondavalli, and F. Tarini. Un protocollo per la schedulazione distribuita hard real-time. In Congresso annuale A.I.C.A. '95, pages 202-208, Cagliari, Italy, 1995.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, A. Buzzi, and F. Tarini. Uno strumento grafico per la strutturazione di applicazioni tolleranti i guasti. In Congresso annuale A.I.C.A. '95, pages 979-986, Cagliari, Italy, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]