Follow
David Chemouil
David Chemouil
ONERA DTIS & Université fédérale de Toulouse
Verified email at onera.fr - Homepage
Title
Cited by
Cited by
Year
The AADL behaviour annex--experiments and roadmap
RB Franca, JP Bodeveix, M Filali, JF Rolland, D Chemouil, D Thomas
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
1322007
Lightweight specification and analysis of dynamic systems with rich configurations
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
832016
The electrum analyzer: model checking relational first-order temporal specifications
J Brunel, D Chemouil, A Cunha, N Macedo
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
392018
The TOPCASED project-a toolkit in open-source for critical applications and system development
F Vernadat, C Percebois, P Farail, R Vingerhoeds, A Rossignol, JP Talpin, ...
Data Systems In Aerospace (DASIA), Berlin, Germany 22 (05), 2006-25, 2006
322006
A viewpoint-based approach for formal safety & security assessment of system architectures
J Brunel, D Chemouil, L Rioux, M Bakkali, F Vallée
11th Workshop on Model-Driven Engineering, Verification and Validation 1235 …, 2014
282014
Modes in asynchronous systems
JF Rolland, JP Bodeveix, M Filali, D Chemouil, D Thomas
13th IEEE International Conference on Engineering of Complex Computer …, 2008
24*2008
Towards formalising AADL in proof assistants
JP Bodeveix, D Chemouil, M Filali, M Strecker
Electronic Notes in Theoretical Computer Science 141 (3), 153-169, 2005
182005
Towards an updatable strategy logic
C Chareton, J Brunel, D Chemouil
arXiv preprint arXiv:1303.0795, 2013
162013
Experimenting an aadl behavioural annex and a verification method
JP Bodeveix, M Filali, M Rached, D Chemouil, P Gaufillet
Data Systems In Aerospace (DASIA), Berlin-Germany 22 (05), 06-25, 2006
142006
Some algebraic structures in lambda-calculus with inductive types
S Soloviev, D Chemouil
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004
132004
A mapping from AADL to Java-RTSJ
JP Bodeveix, R Cavallero, D Chemouil, M Filali, JF Rolland
5th international workshop on Java technologies for real-time and embedded …, 2007
122007
Remarks on isomorphisms of simple inductive types
D Chemouil, S Soloviev
Electronic Notes in Theoretical Computer Science 85 (7), 106-124, 2003
122003
Analyzing the fundamental liveness property of the chord protocol
J Brunel, D Chemouil, J Tawa
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
112018
On finite domains in first-order linear temporal logic
D Kuperberg, J Brunel, D Chemouil
International Symposium on Automated Technology for Verification and …, 2016
112016
A logic with revocable and refinable strategies
C Chareton, J Brunel, D Chemouil
Information and Computation 242, 157-182, 2015
112015
Isomorphisms of simple inductive types through extensional rewriting
D Chemouil
Mathematical Structures in Computer Science 15 (5), 875-915, 2005
112005
Simulation under arbitrary temporal logic constraints
J Brunel, D Chemouil, A Cunha, N Macedo
arXiv preprint arXiv:1912.10634, 2019
102019
FDIR strategy validation with the B method
D Sabatier, B Dellandrea, D Chemouil
Proceedings of the International Space System Engineering Conference, Palma …, 2008
102008
Towards a formal semantics for AADL execution model
JF Rolland, JP Bodeveix, D Chemouil, M Filali, D Thomas
4th European Congress on Embedded Real Time Software and Systems (ERTS 2008), 2008
92008
A mapping from AADL to Java-RTSJ
B Jean-Paul, C Raphaël, C David, F Mamoun, R Jean-François
Proceedings of the 5th international workshop on Java technologies for real …, 2007
92007
The system can't perform the operation now. Try again later.
Articles 1–20