Arnaud Dieumegard

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 10

Top Topics

Software Product Line

Safety Critical

Constraint Language

Top Venues

Publications

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