Publications of Azzeddine Amiar

Load the BibTeX file

International Conferences

1. 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.
2. 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, June 2013.

National conferences or workshops

1. 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.

Research Reports

1. 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, February 2013.

Thesis and habilitations

1. Azzeddine Amiar. Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs. PhD Thesis Université de Grenoble, France, November 2013.