2022
Static analysis of program portability by abstract interpretation. (Analyse statique de la portabilité des programmes par interprétation abstraite).
PhD thesis, 2022

2021
Static Analysis of Endian Portability by Abstract Interpretation.
Proceedings of the Static Analysis - 28th International Symposium, 2021

2019
Analysis of Software Patches Using Numerical Abstract Interpretation.
Proceedings of the Static Analysis - 26th International Symposium, 2019

2015
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2010
Preface.
Proceedings of the Tools for Automatic Program AnalysiS, 2010

2009
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Formal Verification of Avionics Software Products.
Proceedings of the FM 2009: Formal Methods, 2009

2007
Astrée: From Research to Industry.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Experimental Assessment of Astrée on Safety-Critical Avionics Software.
Proceedings of the Computer Safety, 2007