Skip to Main content
Number of documents

15


Journal articles2 documents

  • Karama Kanoun, Yves Crouzet. Dependability Benchmarks for Operating Systems. International Journal of Performability Engineering, 2006, 2, pp.275 - 287. ⟨hal-01979785⟩
  • Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau. Impact of internal and external software faults on the Linux kernel. IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication Engineers, 2003, E86-D (12), pp.2571-2578. ⟨hal-01980930⟩

Conference papers9 documents

  • Amira Zammali, Agnan de Bonneval, Yves Crouzet. A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems. 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⟩. ⟨hal-01780202⟩
  • Amira Zammali, Agnan de Bonneval, Yves Crouzet, Pascal Izzo, Jean-Maxime Massimi. COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS. 34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩. ⟨hal-01275304⟩
  • Amira Zammali, Agnan de Bonneval, Yves Crouzet. A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems. 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⟩. ⟨hal-01780248⟩
  • Amira Zammali, Agnan de Bonneval, Yves Crouzet. Communication integrity for slow-dynamic critical embedded systems. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926515⟩
  • Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau. 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. ⟨hal-01962754⟩
  • Yves Crouzet, Ali Kalakech, Karama Kanoun, Jean Arlat. ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION. Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France. ⟨hal-01980665⟩
  • Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat. 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. ⟨hal-01962911⟩
  • Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau. 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. ⟨hal-01962914⟩
  • Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun. Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. International Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States. ⟨hal-01975990⟩

Book sections4 documents

  • Yves Crouzet, Karama Kanoun. System Dependability: Characterization and Benchmarking. A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7. ⟨hal-00761042⟩
  • Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina. Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior. Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8. ⟨hal-00761609⟩
  • Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun. Dependability of computer control systems in power plants. Analytical and experimental evaluation. 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. ⟨hal-01986887⟩
  • Karama Kanoun, Jean Arlat, L. Burrill, Yves Crouzet, Susanne Graf, et al.. Validation. D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4. ⟨hal-01982593⟩