Static analysis of program portability by abstract interpretation. (Analyse statique de la portabilité des programmes par interprétation abstraite).
PhD thesis, 2022
Static Analysis of Endian Portability by Abstract Interpretation.
Proceedings of the Static Analysis - 28th International Symposium, 2021
Analysis of Software Patches Using Numerical Abstract Interpretation.
Proceedings of the Static Analysis - 26th International Symposium, 2019
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
Proceedings of the Tools for Automatic Program AnalysiS, 2010
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
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