Yves Crouzet

Publication Activity (10 Years)

Years Active: 1980-2015
Publications (10 Years): 0

Top Topics

Consumer Electronics

Real Time Systems

Processing Power

Top Venues

SERE (Companion)

Publications

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