Yves Crouzet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2015

A Diversity-Based Approach for Communication Integrity in Critical Embedded SystemsAmira Zammali, Agnan de Bonneval, Yves Crouzet. hase 2015: 215-222 [doi]

2014

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded SystemsAmira Zammali, Agnan de Bonneval, Yves Crouzet. ssiri 2014: 19-24 [doi]

2012

System Dependability: Characterization and BenchmarkingYves Crouzet, Karama Kanoun. ac, 84:93-139, 2012. [doi]

2006

Contribution of Communications to Dependability in Massively-Defective General-Purpose NanoarchitecturesJacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski. iolts 2006: 219-228 [doi]

Communication Integrity in Networks for Critical Control SystemsAnis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot. edcc 2006: 23-34 [doi]

2005

Mitigating Soft Errors to Prevent a Hard Threat to Dependable ComputingYves Crouzet, Jacques Collet, Jean Arlat. iolts 2005: 295-298 [doi]

Benchmarking the Dependability of Windows and Linux Using PostMark WorkloadsKarama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau. issre 2005: 11-20 [doi]

2004

2003

Comparison of Physical and Software-Implemented Fault Injection TechniquesJean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber. TC, 52(9):1115-1133, 2003. [doi]

2002

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection TechniquesTahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun. dsn 2002: 331-336 [doi]

Analysis of the Effects of Real and Injected Software Faults: Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau. prdc 2002: 51-58 [doi]

2001

Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance MechanismsAlberto Arazo, Yves Crouzet. ICECCS 2001: 69-79 [doi]

2000

Dependability of Computer Control Systems in Power PlantsCláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun. safecomp 2000: 165-175 [doi]

1999

Validation-based development of dependable systemsJean Arlat, Jérome Boué, Yves Crouzet. micro, 19(4):66-79, 1999. [doi]

A Method for Operator Error Detection Based on Plan RecognitionJin Mo, Yves Crouzet. safecomp 1999: 125-138 [doi]

1998

MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault ToleranceJérome Boué, Philippe Pétillon, Yves Crouzet. ftcs 1998: 168-173

1996

Fault injection for formal testing of fault toleranceDimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet. tr, 45(3):443-455, 1996. [doi]

Defining the Unit Testing Level of Synchronous Data Flow ProgramsPascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet. safecomp 1997: 115-125 [doi]

1995

Estimators for Fault Tolerance Coverage EvaluationDavid Powell, Eliane Martins, Jean Arlat, Yves Crouzet. TC, 44(2):261-274, 1995.

1994

On Statistical Structural Testing of Synchronous Data Flow ProgramsPascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet. edcc 1994: 250-267

1993

Fault Injection and Dependability Evaluation of Fault-Tolerant SystemsJean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell. TC, 42(8):913-923, 1993.

Estimators for Fault Tolerance Coverage EvaluationDavid Powell, Eliane Martins, Jean Arlat, Yves Crouzet. ftcs 1993: 228-237

1992

Fault Injection for the Formal Testing of Fault ToleranceDimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet. ftcs 1992: 345-354

1991

An Experimental Study on Software Structural Testing: Deterministic versus Random Input GenerationPascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet. ftcs 1991: 410-417

1990

Fault Injection for Dependability Validation: A Methodology and Some ApplicationsJean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell. TSE, 16(2):166-182, 1990. [doi]

1989

Fault injection for dependability validation of fault-tolerant computing systemsJean Arlat, Yves Crouzet, Jean-Claude Laprie. ftcs 1989: 348-355 [doi]

1986

A 6800 coprocessor for error detection in microcomputers: The PADYves Crouzet, Jacques Chavade. pieee, 74(5):723-731, 1986. [doi]

1980

Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit MicroprocessorYves Crouzet, Christian Landrault. TC, 29(6):532-537, 1980.

Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their TestabilityJ. Galiay, Yves Crouzet, M. Vergniault. TC, 29(6):527-531, 1980.

Sign in or sign up to see more results.

runs on WebDSL