David Chemouil
Directeur de recherches ONERA DTIS
7
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
- 1
- 1
- 2
- 1
- 1
- 7
- 6
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Sound Verification Procedures for Temporal Properties of Infinite-State Systems33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States
Communication dans un congrès
hal-03243129v2
|
|
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
|
|
Modes in Asynchronous Systems13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
Communication dans un congrès
hal-00784986v1
|
The AADL behaviour annex -- experiments and roadmapInternational Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
Communication dans un congrès
hal-00784976v1
|
|
A mapping from AADL to Java-RTSJ5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
Communication dans un congrès
hal-00784968v1
|
|
|
Towards the verification of model transformations3rd Conference on Embedded Real Time Software and Systems (ERTS 2006), Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270435v1
|
Towards formalising AADL in Proof AssistantsFormal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
Communication dans un congrès
hal-00784959v1
|