Number of documents


David Chemouil's (and Co-author's) Publications

Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page:


Conference papers2 documents

  • Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal Logic. 14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. ⟨10.1007/978-3-319-46520-3_14⟩. ⟨hal-01343197⟩
  • Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. Foundations of Software Engineering, Nov 2016, Seattle, United States. ⟨10.1145/2950290.2950318⟩. ⟨hal-01355062⟩