Jean Arlat

Andrea Bondavalli

Boudewijn R. Haverkort

Paulo Veríssimo

IEEE Trans. Dependable Secur. Comput., 2006

Communication Integrity in Networks for Critical Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth European Dependable Computing Conference, 2006

2005

Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing.

[BibT_eX]

[DOI]

Yves Crouzet

Jacques Henri Collet

Proceedings of the 11th IEEE International On-Line Testing Symposium (IOLTS 2005), 2005

2004

Empaquetâches de tolérance aux fautes pour les systèmes temps réel.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

Benchmarking Operating System Dependability: Windows 2000 as a Case Study.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Benchmarking The Dependability of Windows NT4, 2000 and XP.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.

[BibT_eX]

[DOI]

Arnaud Albinet

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Comparison of Physical and Software-Implemented Fault Injection Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2003

Building SWIFI Tools from Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Dependability of COTS Microkernel-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Dependability of CORBA Systems: Service Characterization by Fault Injection.

[BibT_eX]

[DOI]

Eric Marsden

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Analysis of the Effects of Real and Injected Software Faults: .

[BibT_eX]

[DOI]

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Dependability Characterization of Middleware Services.

[BibT_eX]

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Wrapping Real-Time Systems from Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.

[BibT_eX]

[DOI]

Arnaud Albinet

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2001

2000

Formal Specification for Building Robust Real-time Microkernels.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Building dependable COTS microkernel-based systems using MAFALDA.

[BibT_eX]

[DOI]

Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

1999

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1999

Coverage Estimation Methods for Stratified Fault Injection.

[BibT_eX]

[DOI]

Michel Cukier

David Powell

IEEE Trans. Computers, 1999

Validation-based development of dependable systems.

[BibT_eX]

[DOI]

Jérome Boué

Yves Crouzet

IEEE Micro, 1999

MetaKernels and Fault Containment Wrappers.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1999

1997

Can we rely on COTS microkernels for building fault-tolerant systems?

[BibT_eX]

[DOI]

Frédéric Salles

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Available fail-safe systems.

[BibT_eX]

[DOI]

D. Essame

David Powell

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996

Fault injection for formal testing of fault tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 1996

Modeling Software Dependability Growth under Input Partition Testing.

[BibT_eX]

[DOI]

Yinong Chen

Proceedings of the 15th International Conference on Computer Safety, 1996

Dependability of Railway Control Systems.

[BibT_eX]

[DOI]

Joseph A. Profeta III

Proceedings of the Digest of Papers: FTCS-26, 1996

On Stratified Sampling for High Coverage Estimations.

[BibT_eX]

[DOI]

David Powell

Michel Cukier

Proceedings of the Dependable Computing, 1996

1995

Estimators for Fault Tolerance Coverage Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1995

On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

Fault Injection into VHDL Models: The MEFISTO Tool.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS/24, 1994

1993

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1993

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.

[BibT_eX]

[DOI]

Jorge Moreira de Souza

Proceedings of the Digest of Papers: FTCS-23, 1993

1990

Fault Injection for Dependability Validation: A Methodology and Some Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.

[BibT_eX]

[DOI]

Karama Kanoun

Jean-Claude Laprie

IEEE Trans. Computers, 1990

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures.

[BibT_eX]

[DOI]

Computer, 1990

1989

Fault injection for dependability validation of fault-tolerant computing systems.

[BibT_eX]

[DOI]

Yves Crouzet

Jean-Claude Laprie

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Dependability evaluation of software fault-tolerance.

[BibT_eX]

[DOI]

Karama Kanoun

Jean-Claude Laprie

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1984

Implementation and Evaluation of a (<i>b, k</i>)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems.

[BibT_eX]

[DOI]