Nombre de documents

6


Communication dans un congrès4 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. IEEE, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), pp.215-222, 2015, 〈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. IEEE, Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th pp.6D2-1 - 6D2-14, 2015, 〈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. IEEE, 2014, 〈10.1109/SERE-C.2014.18〉. 〈hal-01780248〉
  • Amira Zammali, Agnan De Bonneval, Yves Crouzet. Communication integrity for slow-dynamic critical embedded systems. Marc-Olivier Killijian. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013. 〈hal-00926515〉

Chapitre d'ouvrage2 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〉