DELMAS David

PhD student
Team : APR
Arrival date : 02/01/2018
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: +33 1 44 27 88 16, David.Delmas (at) nulllip6.fr

Supervision : Antoine MINÉ

Analyse statique par interprétation abstraite de la portabilité des programmes

Conference papers

2019
- D. Delmas, A. Miné : “Analysis of Program Differences with Numerical Abstract Interpretation”, PERR 2019 - 3^rd Workshop on Program Equivalence and Relational Reasoning, Prague, Czech Republic (2019)
2015
- A. Miné, D. Delmas : “Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software”, ACM SIGBED International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, pp. 65-74, (IEEE) (2015)