Suivre
Arnaud Dieumegard
Arnaud Dieumegard
Affiliation inconnue
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
From design to implementation: an automated, credible autocoding chain for control systems
T Wang, R Jobredeaux, H Herencia, PL Garoche, A Dieumegard, É Féron, ...
Advances in Control System Technology for Aerospace Applications, 137-180, 2016
262016
Model-based formal specification of a DSL library for a qualified code generator
A Dieumegard, A Toom, M Pantel
Proceedings of the 12th Workshop on OCL and Textual Modelling, 61-62, 2012
162012
Stepwise formal modeling and verification of self-adaptive systems with Event-B. The automatic rover protection case study
NK Singh, Y Aït-Ameur, M Pantel, A Dieumegard, E Jenn
2016 21st international conference on engineering of complex computer …, 2016
142016
Compilation of synchronous observers as code contracts
A Dieumegard, PL Garoche, T Kahsai, A Taillar, X Thirioux
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1933-1939, 2015
122015
Correct‐by‐construction specification to verified code
N Ge, A Dieumegard, E Jenn, L Voisin
Journal of Software: Evolution and Process 30 (10), e1959, 2018
92018
A software product line approach for semantic specification of block libraries in dataflow languages
A Dieumegard, A Toom, M Pantel
Proceedings of the 18th International Software Product Line Conference …, 2014
92014
Formal development process of safety-critical embedded human machine interface systems
N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
72017
Event-B at work: some lessons learnt from an application to a robot anti-collision function
A Dieumegard, N Ge, E Jenn
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
72017
Formal specification of block libraries in dataflow languages
A Dieumegard, A Toom, M Pantel
Embedded Real Time Software and Systems (ERTS 2014), 2014
72014
Event-B formalization of a variability-aware component model patterns framework
JP Bodeveix, A Dieumegard, M Filali
Science of Computer Programming 199, 102511, 2020
62020
From Event-B to verified C via HLL
N Ge, A Dieumegard, E Jenn, L Voisin
arXiv preprint arXiv:1610.07410, 2016
52016
Teaching MDE through the Formal Verification of Process Models
B Combemale, X Crégut, A Dieumegard, M Pantel, F Zalila
Electronic Communications of the EASST 52, 2012
42012
Specifying and verifying model transformations for certified systems using transformation models
A Toom, A Dieumegard, M Pantel
Embedded Real Time Software and Systems (ERTS 2014), 2014
32014
Vérification d’un générateur de code par génération d’annotations
A Dieumegard, M Pantel
Conférence en Ingénierie du Logiciel, 2012
32012
Pattern-based requirements development
JP Bodeveix, A Dieumegard, M Filali
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018
22018
Event-B at Work: some Lessons Learnt from an Application to a Robot Anti-Collision Function
A Dieumegard, N Ge, E Jenn
22016
Formal guarantees for safety critical code generation: the case of highly variable languages
A Dieumegard
22015
An experiment report on a process combining formal refinement and formal software verification
A Dieumegard, N Ge, E Jenn
12016
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
A Dieumegard, A Toom, M Pantel
Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016
12016
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
A Dieumegard, M Pantel, G Babin, M Carton
15th International Workshop on OCL and Textual Modeling Workshop at the …, 2015
12015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20