Accéder directement au contenu

David Chemouil

Directeur de recherches ONERA DTIS
2
Documents
Site web
  • http://www.onera.fr/staff/david-chemouil

Domaines de recherche

Logique en informatique [cs.LO] Génie logiciel [cs.SE]

Publications

36298
Image document

On Finite Domains in First-Order Linear Temporal Logic

Denis Kuperberg , Julien Brunel , David Chemouil
14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. ⟨10.1007/978-3-319-46520-3_14⟩
Communication dans un congrès hal-01343197v1
Image document

Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations

Nuno Macedo , Julien Brunel , David Chemouil , Alcino Cunha , Denis Kuperberg
Foundations of Software Engineering, Nov 2016, Seattle, United States. ⟨10.1145/2950290.2950318⟩
Communication dans un congrès hal-01355062v1