David Delmas

Experimental Assessment of Astrée on Safety-Critical Avionics Software

Jean Souyris, David Delmas, 2007, SAFECOMP.

Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators

Matthieu Martel, David Delmas, Alexis Werey, 2016 .

Astrée: From Research to Industry

Jean Souyris, David Delmas, David Delmas, 2007, SAS.

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software

Eric Goubault, Karim Tekkal, Jean Souyris, 2009, FMICS.

Formal Verification of Avionics Software Products

Virginie Wiels, Jean Souyris, Hervé Delseny, 2009, FM.

Taster, a Frama-C plug-in to enforce Coding Standards

Julien Signoles, Stéphane Duprat, David Delmas, 2010 .

Static Analysis of Endian Portability by Abstract Interpretation

Antoine Miné, Abdelraouf Ouadjaout, David Delmas, 2021, SAS.