Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor. - Yves Crouzet; Christian Landrault (IEEE Trans. Computers, 1980)

Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability. - J. Galiay; Yves Crouzet; M. Vergniault (IEEE Trans. Computers, 1980)

A 6800 coprocessor for error detection in microcomputers: The PAD. - Yves Crouzet; Jacques Chavade (Proc. IEEE, 1986)

Fault injection for dependability validation of fault-tolerant computing systems. - Jean Arlat; Yves Crouzet; Jean-Claude Laprie (FTCS, 1989)

Fault Injection for Dependability Validation: A Methodology and Some Applications. - Jean Arlat; Martine Aguera; Louis Amat; Yves Crouzet; Jean-Charles Fabre; Jean-Claude Laprie; Eliane Martins; David Powell (IEEE Trans. Software Eng., 1990)

An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. - Pascale Thévenod-Fosse; Hélène Waeselynck; Yves Crouzet (FTCS, 1991)

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. - Jean Arlat; Alain Costes; Yves Crouzet; Jean-Claude Laprie; David Powell (IEEE Trans. Computers, 1993)

On Statistical Structural Testing of Synchronous Data Flow Programs. - Pascale Thévenod-Fosse; Christine Mazuet; Yves Crouzet (EDCC, 1994)

Estimators for Fault Tolerance Coverage Evaluation. - David Powell; Eliane Martins; Jean Arlat; Yves Crouzet (IEEE Trans. Computers, 1995)

Defining the Unit Testing Level of Synchronous Data Flow Programs. - Pascale Thévenod-Fosse; Christine Mazuet; Yves Crouzet (SAFECOMP, 1996)

Fault injection for formal testing of fault tolerance. - Dimiter R. Avresky; Jean Arlat; Jean-Claude Laprie; Yves Crouzet (IEEE Trans. Reliab., 1996)

MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance. - Jérome Boué; Philippe Pétillon; Yves Crouzet (FTCS, 1998)

A Method for Operator Error Detection Based on Plan Recognition. - Jin Mo; Yves Crouzet (SAFECOMP, 1999)

Validation-based development of dependable systems. - Jean Arlat; Jérome Boué; Yves Crouzet (IEEE Micro, 1999)

Dependability of Computer Control Systems in Power Plants. - Cláudia Almeida; Alberto Arazo; Yves Crouzet; Karama Kanoun (SAFECOMP, 2000)

Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. - Alberto Arazo; Yves Crouzet (ICECCS, 2001)

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (DSN, 2002)

Analysis of the Effects of Real and Injected Software Faults: . - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun; Thomas Marteau (PRDC, 2002)

Comparison of Physical and Software-Implemented Fault Injection Techniques. - Jean Arlat; Yves Crouzet; Johan Karlsson; Peter Folkesson; Emmerich Fuchs; Günther H. Leber (IEEE Trans. Computers, 2003)

Benchmarking The Dependability of Windows NT4, 2000 and XP. - Ali Kalakech 001; Karama Kanoun; Yves Crouzet; Jean Arlat (DSN, 2004)

Open source software in critical systems: Motivation and challenges. - Philippe David; Hélène Waeselynck; Yves Crouzet (IFIP Congress Topical Sessions, 2004)

Benchmarking Operating System Dependability: Windows 2000 as a Case Study. - Ali Kalakech 001; Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (PRDC, 2004)

Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. - Yves Crouzet; Jacques Henri Collet; Jean Arlat (IOLTS, 2005)

Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. - Karama Kanoun; Yves Crouzet; Ali Kalakech 001; Ana-Elena Rugina; Philippe Rumeau (ISSRE, 2005)

Communication Integrity in Networks for Critical Control Systems. - Anis Youssef; Yves Crouzet; Agnan de Bonneval; Jean Arlat; Jean-Jacques Aubert; Patrice Brot (EDCC, 2006)

Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures. - Jacques Henri Collet; Piotr Zajac; Yves Crouzet; Andrzej Napieralski (IOLTS, 2006)

System Dependability: Characterization and Benchmarking. - Yves Crouzet; Karama Kanoun (Adv. Comput., 2012)

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems. - Amira Zammali; Agnan de Bonneval; Yves Crouzet (SERE (Companion), 2014)

A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems. - Amira Zammali; Agnan de Bonneval; Yves Crouzet (HASE, 2015)