| 2017 | TASE | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |
| 2016 | FMICS | Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2016 | ICECCS | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2015 | MODELS | Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. | Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton |
| 2015 | SAC | Compilation of synchronous observers as code contracts. | Arnaud Dieumegard, Pierre-Loc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux |
| 2014 | SPLC | A software product line approach for semantic specification of block libraries in dataflow languages. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2012 | MODELS | Model-based formal specification of a DSL library for a qualified code generator. | Arnaud Dieumegard, Andres Toom, Marc Pantel |