Dependable Computing Research Lab

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

Papers of Fantechi, A.


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:
Fantechi, A.


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2001

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 ]

International Journals

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 ]

2000

International Conferences

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. An integrated and compositional approach to design validation of embedded dependable systems. In IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington DC, September 21-22 2000.
[ ABSTRACT and BibTeX Entry ]

1999

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 ]

International Conferences

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 ]

Reports

1998

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. GUARDS Project Report GUARDS/MD2A4/TN/5011 version A, 1998.
[ ABSTRACT and BibTeX Entry ]