Number of documents

4

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


Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page: http://www.onera.fr/staff/david-chemouil


"Alcino Cunha"   

Conference papers4 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, 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⟩
  • Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg. Spécification légère et analyse de systèmes dynamiques munis de configurations riches. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-02077323⟩
  • 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⟩