Yves Crouzet

According to our database, Yves Crouzet authored at least 29 papers between 1980 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems.

Amira Zammali, Agnan de Bonneval, Yves Crouzet

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems.

Amira Zammali, Agnan de Bonneval, Yves Crouzet

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

2012

System Dependability: Characterization and Benchmarking.

Yves Crouzet, Karama Kanoun

Adv. Comput., 2012

2006

Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures.

Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski

Proceedings of the 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 2006

Communication Integrity in Networks for Critical Control Systems.

Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot

Proceedings of the Sixth European Dependable Computing Conference, 2006

2005

Benchmarking the Dependability of Windows and Linux Using PostMark Workloads.

Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

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

Yves Crouzet, Jacques Henri Collet, Jean Arlat

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

2004

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

Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun

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

Open source software in critical systems: Motivation and challenges.

Philippe David, Hélène Waeselynck, Yves Crouzet

Proceedings of the Building the Information Society, 2004

Benchmarking The Dependability of Windows NT4, 2000 and XP.

Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat

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.

Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber

IEEE Trans. Computers, 2003

2002

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

Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau

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

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

Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun

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

2001

Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms.

Alberto Arazo, Yves Crouzet

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

Dependability of Computer Control Systems in Power Plants.

Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun

Proceedings of the Computer Safety, 2000

1999

Validation-based development of dependable systems.

Jean Arlat, Jérome Boué, Yves Crouzet

IEEE Micro, 1999

A Method for Operator Error Detection Based on Plan Recognition.

Jin Mo, Yves Crouzet

Proceedings of the Computer Safety, 1999

1998

MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance.

Jérome Boué, Philippe Pétillon, Yves Crouzet

Proceedings of the Digest of Papers: FTCS-28, 1998

1996

Fault injection for formal testing of fault tolerance.

Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet

IEEE Trans. Reliab., 1996

Defining the Unit Testing Level of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

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

1995

Estimators for Fault Tolerance Coverage Evaluation.

David Powell, Eliane Martins, Jean Arlat, Yves Crouzet

IEEE Trans. Computers, 1995

1994

On Statistical Structural Testing of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

Proceedings of the Dependable Computing, 1994

1993

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.

Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell

IEEE Trans. Computers, 1993

1991

An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.

Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

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

1989

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

Jean Arlat, Yves Crouzet, Jean-Claude Laprie

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

1986

A 6800 coprocessor for error detection in microcomputers: The PAD.

Yves Crouzet, Jacques Chavade

Proc. IEEE, 1986

1980

Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability.

J. Galiay, Yves Crouzet, M. Vergniault

IEEE Trans. Computers, 1980

Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor.

Yves Crouzet, Christian Landrault

IEEE Trans. Computers, 1980