Publications HAL du labo/EPI LAAS

2015

Communication dans un congrès

titre
COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet, Pascal Izzo, Jean-Maxime Massimi
article
34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01275304/file/ZAMMALI_DASC-34.pdf BibTex
titre
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
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⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780202/file/HASE-2015_submission_26_FINAL_SOUMIS_15septembre14.pdf BibTex

2014

Communication dans un congrès

titre
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
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⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780248/file/HAL__SERE_2014__SERE_revise_V3_2014.04.18_SOUMIS.pdf BibTex

2013

Communication dans un congrès

titre
Communication integrity for slow-dynamic critical embedded systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00926515/file/FA11.pdf BibTex