David Chemouil
Directeur de recherches ONERA DTIS
6
Documents
Site web
- http://www.onera.fr/staff/david-chemouil
Domaines de recherche
Logique en informatique [cs.LO]
Génie logiciel [cs.SE]
Publications
- 1
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 6
|
|
Pardinus: A temporal relational model finderJournal of Automated Reasoning, 2022, ⟨10.1007/s10817-022-09642-2⟩
Article dans une revue
hal-03738430v1
|
|
|
Simulation under arbitrary temporal logic constraints5th Workshop on Formal Integrated Development Environment, Oct 2019, Porto, Portugal
Communication dans un congrès
hal-02332517v1
|
|
|
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol23rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
Communication dans un congrès
hal-02332531v1
|
|
|
The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), Sep 2018, Montpellier, France. ⟨10.1145/3238147.3240475⟩
Communication dans un congrès
hal-01846951v2
|
|
|
Analyzing the Fundamental Liveness Property of the Chord ProtocolFormal Methods in Computer-Aided Design, Oct 2018, Austin, United States
Communication dans un congrès
hal-01862755v1
|
|
|
Proposition of an Action Layer for Electrum6th 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⟩
Communication dans un congrès
hal-01774920v1
|