David Delmas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2007–2021
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SAS | Static Analysis of Endian Portability by Abstract Interpretation. | David Delmas, Abdelraouf Ouadjaout, Antoine Min |
| 2019 | SAS | Analysis of Software Patches Using Numerical Abstract Interpretation. | David Delmas, Antoine Min |
| 2015 | EMSOFT | Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. | Antoine Min, David Delmas |
| 2009 | FM | Formal Verification of Avionics Software Products. | Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny |
| 2009 | FMICS | Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Vdrine |
| 2007 | SAFECOMP | Experimental Assessment of Astre on Safety-Critical Avionics Software. | Jean Souyris, David Delmas |
| 2007 | SAS | Astre: From Research to Industry. | David Delmas, Jean Souyris |