Yves Crouzet

31 papers A 3B 4C 4Misc 2Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2015 — conf
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems.
HASE
Amira Zammali, Agnan de Bonneval, Yves Crouzet
2014 — conf
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems.
SERE (Companion)
Amira Zammali, Agnan de Bonneval, Yves Crouzet
2012 J jnl
System Dependability: Characterization and Benchmarking.
Adv. Comput.
Yves Crouzet, Karama Kanoun
2006 Misc conf
Communication Integrity in Networks for Critical Control Systems.
EDCC
Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot
2006 C conf
Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures.
IOLTS
Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski
2005 A conf
Benchmarking the Dependability of Windows and Linux Using PostMark Workloads.
ISSRE
Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau
2005 C conf
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing.
IOLTS
Yves Crouzet, Jacques Henri Collet, Jean Arlat
2004 C conf
Benchmarking Operating System Dependability: Windows 2000 as a Case Study.
PRDC
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2004 A conf
Benchmarking The Dependability of Windows NT4, 2000 and XP.
DSN
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
2004 — conf
Open source software in critical systems: Motivation and challenges.
IFIP Congress Topical Sessions
Philippe David, Hélène Waeselynck, Yves Crouzet
2003 J jnl
Comparison of Physical and Software-Implemented Fault Injection Techniques.
IEEE Trans. Computers
Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber
2002 C conf
Analysis of the Effects of Real and Injected Software Faults: .
PRDC
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
2002 A conf
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
DSN
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2001 B conf
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms.
ICECCS
Alberto Arazo, Yves Crouzet
2000 B conf
Dependability of Computer Control Systems in Power Plants.
SAFECOMP
Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
1999 B conf
A Method for Operator Error Detection Based on Plan Recognition.
SAFECOMP
Jin Mo, Yves Crouzet
1999 J jnl
Validation-based development of dependable systems.
IEEE Micro
Jean Arlat, Jérome Boué, Yves Crouzet
1998 — conf
MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance.
FTCS
Jérome Boué, Philippe Pétillon, Yves Crouzet
1996 B conf
Defining the Unit Testing Level of Synchronous Data Flow Programs.
SAFECOMP
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
1996 J jnl
Fault injection for formal testing of fault tolerance.
IEEE Trans. Reliab.
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
1995 J jnl
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1994 Misc conf
On Statistical Structural Testing of Synchronous Data Flow Programs.
EDCC
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
1993 — conf
Estimators for Fault Tolerance Coverage Evaluation.
FTCS
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1993 J jnl
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers
Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell
1992 — conf
Fault Injection for the Formal Testing of Fault Tolerance.
FTCS
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
1991 — conf
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.
FTCS
Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
1990 J jnl
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng.
Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell
1989 — conf
Fault injection for dependability validation of fault-tolerant computing systems.
FTCS
Jean Arlat, Yves Crouzet, Jean-Claude Laprie
1986 J jnl
A 6800 coprocessor for error detection in microcomputers: The PAD.
Proc. IEEE
Yves Crouzet, Jacques Chavade
1980 J jnl
Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor.
IEEE Trans. Computers
Yves Crouzet, Christian Landrault
1980 J jnl
Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability.
IEEE Trans. Computers
J. Galiay, Yves Crouzet, M. Vergniault