Yves Crouzet
15
Documents
Publications
|
Dependability Benchmarks for Operating SystemsInternational 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 kernelIEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578
Article dans une revue
hal-01980930v1
|
|
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems2015 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 SYSTEMS34th 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 Systems2014 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 systemsSafecomp 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 *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
|
|
Benchmarking The Dependability of Windows NT4, 2000 and XP *2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
Communication dans un congrès
hal-01962911v1
|
|
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATIONCongrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Communication dans un congrès
hal-01980665v1
|
|
Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*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 TechniquesInternational Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States
Communication dans un congrès
hal-01975990v1
|
|
System Dependability: Characterization and BenchmarkingA.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 BehaviorKarama 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 evaluationF. 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
|
ValidationD. 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
|