Publications de Azzeddine Amiar
Load the BibTeX file
Thèses et habilitations à diriger les recherches
- Azzeddine Amiar. Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs. Thèse de l'Université de Grenoble, France, Novembre 2013.
Conférences internationales
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013.
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013.
Communications avec actes
- A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.
Rapports de recherche
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, Février 2013.
Cette page a été générée automatiquement par
bib2html.