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 | 134 | 2007 |
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 | 101 | 2016 |
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 | 52 | 2018 |
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 | 32 | 2006 |
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 | 26 | 2014 |
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 | 17 | 2005 |
Towards an updatable strategy logic C Chareton, J Brunel, D Chemouil arXiv preprint arXiv:1303.0795, 2013 | 15 | 2013 |
Pardinus: A temporal relational model finder N Macedo, J Brunel, D Chemouil, A Cunha Journal of Automated Reasoning 66 (4), 861-904, 2022 | 14 | 2022 |
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 | 14 | 2006 |
Simulation under arbitrary temporal logic constraints J Brunel, D Chemouil, A Cunha, N Macedo arXiv preprint arXiv:1912.10634, 2019 | 13 | 2019 |
Some algebraic structures in lambda-calculus with inductive types S Soloviev, D Chemouil Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004 | 13 | 2004 |
Remarks on isomorphisms of simple inductive types D Chemouil, S Soloviev Electronic Notes in Theoretical Computer Science 85 (7), 106-124, 2003 | 13 | 2003 |
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 | 12 | 2007 |
Isomorphisms of simple inductive types through extensional rewriting D Chemouil Mathematical Structures in Computer Science 15 (5), 875-915, 2005 | 12 | 2005 |
On finite domains in first-order linear temporal logic D Kuperberg, J Brunel, D Chemouil International Symposium on Automated Technology for Verification and …, 2016 | 11 | 2016 |
A logic with revocable and refinable strategies C Chareton, J Brunel, D Chemouil Information and Computation 242, 157-182, 2015 | 11 | 2015 |
FDIR strategy validation with the B method D Sabatier, B Dellandrea, D Chemouil Proceedings of the International Space System Engineering Conference, Palma …, 2008 | 11 | 2008 |
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 | 10 | 2018 |
Proposition of an action layer for electrum J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 10 | 2018 |