Yves Crouzet

Publications

Article dans une revue (2)

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

Communication dans un congrès (9)

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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (4)

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
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
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 Grafet 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