Teaching MDE through the Formal Verification of Process Models. - Benoît Combemale; Xavier Crégut; Arnaud Dieumegard; Marc Pantel; Faiez Zalila (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Model-based formal specification of a DSL library for a qualified code generator. - Arnaud Dieumegard; Andres Toom; Marc Pantel (OCL@MoDELS, 2012)

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. - Timothy Wang; Romain Jobredeaux; Heber Herencia-Zapana; Pierre-Loïc Garoche; Arnaud Dieumegard; Eric Feron; Marc Pantel (CoRR, 2013)

A software product line approach for semantic specification of block libraries in dataflow languages. - Arnaud Dieumegard; Andres Toom; Marc Pantel (SPLC, 2014)

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. - Arnaud Dieumegard; Marc Pantel; Guillaume Babin; Martin Carton (OCL@MoDELS, 2015)

Compilation of synchronous observers as code contracts. - Arnaud Dieumegard; Pierre-Loïc Garoche; Temesghen Kahsai; Alice Taillar; Xavier Thirioux (SAC, 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)

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. - Arnaud Dieumegard; Andres Toom; Marc Pantel (FMICS-AVoCS, 2016)

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Marc Pantel; Arnaud Dieumegard; Eric Jenn (ICECCS, 2016)

From Event-B to Verified C via HLL. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (CoRR, 2016)

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. - Arnaud Dieumegard; Ning Ge 002; Eric Jenn (NFM, 2017)

Formal development process of safety-critical embedded human machine interface systems. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Bruno d'Ausbourg; Yamine Aït Ameur (TASE, 2017)

Event-B Formalization of a Variability-Aware Component Model Patterns Framework. - Jean-Paul Bodeveix; Arnaud Dieumegard; Mamoun Filali (FACS, 2018)

Correct-by-construction specification to verified code. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (J. Softw. Evol. Process., 2018)