Yves Crouzet

15
Documents

Publications

Publications

Deposit thumbnail

Dependability Benchmarks for Operating Systems

Karama Kanoun , Yves Crouzet

International Journal of Performability Engineering, 2006, 2 (3), pp.275 - 287

Article dans une revue hal-01979785v1

Impact of internal and external software faults on the Linux kernel

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

IEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578

Article dans une revue hal-01980930v1
Deposit thumbnail

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

Amira Zammali , Agnan de Bonneval , Yves Crouzet

2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩

Communication dans un congrès hal-01780202v1
Deposit thumbnail

COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS

Amira Zammali , Agnan de Bonneval , Yves Crouzet , Pascal Izzo , Jean-Maxime Massimi

34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩

Communication dans un congrès hal-01275304v1
Deposit thumbnail

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

Amira Zammali , Agnan de Bonneval , Yves Crouzet

2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C), Jun 2014, San Francisco, United States. ⟨10.1109/SERE-C.2014.18⟩

Communication dans un congrès hal-01780248v1
Deposit thumbnail

Communication integrity for slow-dynamic critical embedded systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet

Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC

Communication dans un congrès hal-00926515v1
Deposit thumbnail

Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *

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

16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20

Communication dans un congrès hal-01962754v1
Deposit thumbnail

ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION

Yves Crouzet , Ali Kalakech , Karama Kanoun , Jean Arlat

Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France

Communication dans un congrès hal-01980665v1
Deposit thumbnail

Benchmarking The Dependability of Windows NT4, 2000 and XP *

Ali Kalakech , Karama Kanoun , Yves Crouzet , Jean Arlat

2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686

Communication dans un congrès hal-01962911v1
Deposit thumbnail

Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*

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

Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Dec 2002, Tsukuba, Japan. pp.51-58

Communication dans un congrès hal-01962914v1
Deposit thumbnail

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

Tahar Jarboui , Jean Arlat , Yves Crouzet , Karama Kanoun

International Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States

Communication dans un congrès hal-01975990v1
Deposit thumbnail

System Dependability: Characterization and Benchmarking

Yves Crouzet , Karama Kanoun

A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7

Chapitre d'ouvrage hal-00761042v1
Deposit thumbnail

Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior

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

Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8

Chapitre d'ouvrage hal-00761609v1
Deposit thumbnail

Dependability of computer control systems in power plants. Analytical and experimental evaluation

Claudia Betous-Almeida , Alberto Arazo , Yves Crouzet , Karama Kanoun

F. Koornneff, M. Van der Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security, Springer, pp.165-175, 2000, 3-540-41186-0

Chapitre d'ouvrage hal-01986887v1

Validation

Karama Kanoun , Jean Arlat , L. Burrill , Yves Crouzet , Susanne Graf et al.

D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4

Chapitre d'ouvrage hal-01982593v1