Arnaud Dieumegard

According to our database, Arnaud Dieumegard authored at least 14 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Event-B formalization of a variability-aware component model patterns framework.

Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali

Sci. Comput. Program., 2020

2018

Correct-by-construction specification to verified code.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

J. Softw. Evol. Process., 2018

2017

Formal development process of safety-critical embedded human machine interface systems.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.

Arnaud Dieumegard, Ning Ge, Eric Jenn

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

From Event-B to Verified C via HLL.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

CoRR, 2016

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.

Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

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

PhD thesis, 2015

Compilation of synchronous observers as code contracts.

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.

Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

A software product line approach for semantic specification of block libraries in dataflow languages.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 18th International Software Product Line Conference, 2014

2013

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

2012

Model-based formal specification of a DSL library for a qualified code generator.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011

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