Arnaud Dieumegard

15 papers B 2Misc 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
Event-B formalization of a variability-aware component model patterns framework.
Sci. Comput. Program.
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
2018 J jnl
Correct-by-construction specification to verified code.
J. Softw. Evol. Process.
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2018 — conf
Event-B Formalization of a Variability-Aware Component Model Patterns Framework.
FACS
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
2017 — conf
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.
NFM
Arnaud Dieumegard, Ning Ge, Eric Jenn
2017 Misc conf
Formal development process of safety-critical embedded human machine interface systems.
TASE
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
2016 — conf
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.
FMICS-AVoCS
Arnaud Dieumegard, Andres Toom, Marc Pantel
2016 J jnl
From Event-B to Verified C via HLL.
CoRR
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2016 B conf
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.
ICECCS
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
2015 Misc conf
Compilation of synchronous observers as code contracts.
SAC
Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux
2015 — —
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages. (Garanties formelles pour la génération de code critique : L'affaire des langages fortement variables).
Arnaud Dieumegard
2015 — conf
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.
OCL@MoDELS
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
2014 B conf
A software product line approach for semantic specification of block libraries in dataflow languages.
SPLC
Arnaud Dieumegard, Andres Toom, Marc Pantel
2013 J jnl
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.
CoRR
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
2012 — conf
Model-based formal specification of a DSL library for a qualified code generator.
OCL@MoDELS
Arnaud Dieumegard, Andres Toom, Marc Pantel
2011 J jnl
Teaching MDE through the Formal Verification of Process Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila