David Chemouil

Publications

252

Citations

H-Index

2006

Active since

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

University of Minho

Université Toulouse-I-Capitole

Centre National d'Études Spatiales

Institut Polytechnique de Bordeaux

David Chemouil is an author at Office National d'Études et de Recherches Aérospatiales specializing in formal verification, formal methods, and engineering.

ORCID

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2006–2022

Publications

The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali et al. · 2007 · 93 citations

Engineering, Software Engineering, Aadl Behaviour Annex +23

Lightweight specification and analysis of dynamic systems with rich configurations

Nuno Macedo, Julien Brunel, David Chemouil et al. · 2016 · 56 citations · Full text

Engineering, Verification, Computer Architecture +23

The electrum analyzer: model checking relational first-order temporal specifications

Julien Brunel, David Chemouil, Alcino Cunha et al. · 2018 · 30 citations · Full text

Engineering, Verification, Computer-aided Verification +18

TOPCASED Combining Formal Methods with Model-Driven Engineering

Nadège Pontisso, David Chemouil · 2006 · 26 citations

Software Maintenance, Engineering, Verification +24

Modes in Asynchronous Systems

Jean-Francois Rolland, Jean-Paul Bodeveix, Mamoun Filali et al. · 2008 · 15 citations · Full text

Engineering, Computer Architecture, Concurrent System +18

Rows per page

1–5 of 8