Experimental Assessment of Astrée on Safety-Critical Avionics Software. - Jean Souyris; David Delmas (SAFECOMP, 2007)

Astrée: From Research to Industry. - David Delmas; Jean Souyris (SAS, 2007)

Formal Verification of Avionics Software Products. - Jean Souyris; Virginie Wiels; David Delmas; Hervé Delseny (FM, 2009)

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. - David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine (FMICS, 2009)

Preface. - David Delmas; Xavier Rival (TAPAS@SAS, 2010)

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. - Antoine Miné; David Delmas (EMSOFT, 2015)

Analysis of Software Patches Using Numerical Abstract Interpretation. - David Delmas; Antoine Miné (SAS, 2019)

Static Analysis of Endian Portability by Abstract Interpretation. - David Delmas; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

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