Get started
Author

Arnaud Dieumegard

From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
2015 · Timothy Wang, Romain Jobredeaux, et al. · Lecture notes in control and information sciences · 24
PDF
Correct‐by‐construction specification to verified code
2018 · Ning Ge, Arnaud Dieumegard, et al. · Journal of Software Evolution and Process · 12
Compilation of synchronous observers as code contracts
2015 · Arnaud Dieumegard, Pierre-Loïc Garoche, et al. · ACM Symposium on Applied Computing · 12
Formal development process of safety-critical embedded human machine interface systems
2017 · Ning Ge, Arnaud Dieumegard, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 10
PDF
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study
2016 · Neeraj Kumar Singh, Yamine Ait-Ameur, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 9
PDF
Model-based formal specification of a DSL library for a qualified code generator
2012 · Arnaud Dieumegard, Andres Toom, et al. · 9
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
2017 · Arnaud Dieumegard, Ning Ge, et al. · Lecture notes in computer science · 7
PDF
A software product line approach for semantic specification of block libraries in dataflow languages
2014 · Arnaud Dieumegard, Andres Toom, et al. · International Software Product Line Conference (SPLC) · 5
Event-B formalization of a variability-aware component model patterns framework
2020 · Jean-Paul Bodeveix, Arnaud Dieumegard, et al. · Science of Computer Programming · 3
From Event-B to Verified C via HLL
2016 · Ge, Ning, Dieumegard, Arnaud, et al. · arXiv (Cornell University) · 3
PDF
Pattern-based requirements development
2018 · Bodeveix, Jean-Paul, Dieumegard, Arnaud, et al. · HAL · 2
Event-B Formalization of a Variability-Aware Component Model Patterns Framework
2018 · Jean-Paul Bodeveix, Arnaud Dieumegard, et al. · Lecture notes in computer science · 2
PDF
Formal specification of block libraries in dataflow languages
2014 · Dieumegard, Arnaud, Toom, Andres, et al. · HAL · 2
Teaching MDE through the Formal Verification of Process Models
2012 · Combemale, Benoit, Cregut, Xavier, et al. · HAL · 2
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
2016 · Arnaud Dieumegard, Andres Toom, et al. · Lecture notes in computer science · 1
PDF
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages
2015 · Arnaud Dieumegard · theses.fr (ABES) · 1
PDF
Réutilisation de modèles en ingénierie système et écoconception
2023 · Chenouard, Raphael, Tamzalit, Dalila, et al. · HAL
PDF
An Experiment Report on a Process Combining Formal Refinement and Formal Software verification
2016 · Arnaud Dieumegard, Ning Ge, et al.
Event‐Bを用いた自己適応システムの段階的形式的モデリングおよび検証自動ローバ保護事例研究【Powered by NICT】
2016 · Singh Neeraj Kumar, Ait-Ameur Yamine, et al. · IEEE Conference Proceedings
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
2015 · Dieumegard, Arnaud, Pantel, Marc, et al. · HAL
Specifying and Verifying Model Transformations for Certified Systems using Transformation Models
2014 · Toom, Andres, Dieumegard, Arnaud, et al. · HAL
Software product line for semantic specification of block libraries in dataflow languages
2014 · Dieumegard, Arnaud, Toom, Andres, et al. · HAL
Comparing transformation languages for the implementation of certified model transformations
2012 · Arnaud Dieumegard, Andres Toom, et al.
Specification and Validation of Model Transformations for Certified Systems ’ Development?
2012 · Andres Toom, Arnaud Dieumegard, et al.
Works count: 28
Citation count: 104
H-index: 7
I10-index: 4
Year
Topic
Type