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 papers3 documents

  • Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo. The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), Sep 2018, Montpellier, France. ⟨10.1145/3238147.3240475⟩. ⟨hal-01846951v2⟩
  • Julien Brunel, David Chemouil, Jeanne Tawa. Analyzing the Fundamental Liveness Property of the Chord Protocol. Formal Methods in Computer-Aided Design, Oct 2018, Austin, United States. ⟨hal-01862755⟩
  • Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, et al.. Proposition of an Action Layer for Electrum. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2018, Southampton, United Kingdom. pp.397-402, ⟨10.1007/978-3-319-91271-4_30⟩. ⟨hal-01774920⟩