Number of documents


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

Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page:

"Jeanne Tawa"   

Conference papers2 documents

  • 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⟩