Accéder directement au contenu

David Chemouil

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

Domaines de recherche

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

Publications

denis-kuperberg
Image document

Spécification légère et analyse de systèmes dynamiques munis de configurations riches

Nuno Macedo , Julien Brunel , David Chemouil , Alcino Cunha , Denis Kuperberg
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès hal-02077323v1
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