Dependable Computing Research Lab

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

Papers 1994


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

Books Contributions

A. Bondavalli, C. Bernardeschi, and L. Simoncini. The design of distributed, dependable real-time systems using a functional paradigm. In W.A. Halang and A.D. Stoyenko, editors, Real Time Computing, NATO ASI Series F, pages 527-529. Springer Verlag, Saint Martin, Dutch Antilles, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. In 1st European Dependable Computing Conference (EDCC-1), pages 97-114, Berlin, Germany, 1994. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

Gy. Csertán, C. Bernardeschi, A. Bondavalli, and L. Simoncini. Analysis of temporal properties of dataflow networks. In 12th IFAC workshop DCCS 94, pages 153-158, Toledo, Spain, 1994. Elsevier Science.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli and L. Simoncini. Dependable dataflow control systems. In MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, pages 5-14, Budapest, Hungary, March 30 - April 1 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, and F. Di Giandomenico. Efficient fault tolerance: an approach to deal with transient faults in multiprocessor architectures. In IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94), pages 354-359, Hsinchu, Taiwan, ROC, December 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Data-flow networks in the design of safety-critical systems. In ESREL 94, pages 876-881, Le Baule, France, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi and A. Bondavalli. Semantics analysis of dataflow control systems. In MicroP94, pages 15-24, Budapest, Hungary, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]