Accéder directement au contenu

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

jean-paul-bodeveix
Image document

Sound Verification Procedures for Temporal Properties of Infinite-State Systems

Quentin Peyras , Jean-Paul Bodeveix , Julien Brunel , David Chemouil
33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States
Communication dans un congrès hal-03243129v2
Image document

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol

Jean-Paul Bodeveix , Julien Brunel , David Chemouil , M Filali
23rd 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
Image document

Modes in Asynchronous Systems

Jean-François Rolland , Jean-Paul Bodeveix , M Filali , David Chemouil , Dave Thomas
13th 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 roadmap

Ricardo Bedin França , Jean-Paul Bodeveix , David Chemouil , M Filali , Jean-François Rolland
International 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-RTSJ

Jean-Paul Bodeveix , Raphaël Cavallero , David Chemouil , M Filali , Jean-François Rolland
5th 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
Image document

Towards the verification of model transformations

Jean-Paul Bodeveix , David Chemouil , M Filali , Nathalie Lalevee , Martin Strecker
3rd 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 Assistants

Jean-Paul Bodeveix , David Chemouil , M Filali , Martin Strecker
Formal 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