| From design to implementation: an automated, credible autocoding chain for control systems T Wang, R Jobredeaux, H Herencia, PL Garoche, A Dieumegard, É Féron, ... Advances in Control System Technology for Aerospace Applications, 137-180, 2016 | 25 | 2016 |
| Stepwise formal modeling and verification of self-adaptive systems with event-b. the automatic rover protection case study NK Singh, Y Aït-Ameur, M Pantel, A Dieumegard, E Jenn 2016 21st international conference on engineering of complex computer …, 2016 | 16 | 2016 |
| Model-based formal specification of a DSL library for a qualified code generator A Dieumegard, A Toom, M Pantel Proceedings of the 12th Workshop on OCL and Textual Modelling, 61-62, 2012 | 15 | 2012 |
| Compilation of synchronous observers as code contracts A Dieumegard, PL Garoche, T Kahsai, A Taillar, X Thirioux Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1933-1939, 2015 | 13 | 2015 |
| Correct‐by‐construction specification to verified code N Ge, A Dieumegard, E Jenn, L Voisin Journal of Software: Evolution and Process 30 (10), e1959, 2018 | 9 | 2018 |
| Event-B formalization of a variability-aware component model patterns framework JP Bodeveix, A Dieumegard, M Filali Science of Computer Programming 199, 102511, 2020 | 8 | 2020 |
| Formal development process of safety-critical embedded human machine interface systems N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur 2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017 | 8 | 2017 |
| Event-B at work: some lessons learnt from an application to a robot anti-collision function A Dieumegard, N Ge, E Jenn NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 8 | 2017 |
| A software product line approach for semantic specification of block libraries in dataflow languages A Dieumegard, A Toom, M Pantel Proceedings of the 18th International Software Product Line Conference …, 2014 | 8 | 2014 |
| Formal specification of block libraries in dataflow languages A Dieumegard, A Toom, M Pantel Embedded Real Time Software and Systems (ERTS 2014), 2014 | 7 | 2014 |
| From event-B to verified C via HLL N Ge, A Dieumegard, E Jenn, L Voisin arXiv preprint arXiv:1610.07410, 2016 | 6 | 2016 |
| Teaching MDE through the Formal Verification of Process Models B Combemale, X Crégut, A Dieumegard, M Pantel, F Zalila Electronic Communications of the EASST 52, 2012 | 4 | 2012 |
| Pattern-based requirements development JP Bodeveix, A Dieumegard, M Filali 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018 | 3 | 2018 |
| Specifying and verifying model transformations for certified systems using transformation models A Toom, A Dieumegard, M Pantel Embedded Real Time Software and Systems (ERTS 2014), 2014 | 3 | 2014 |
| Formal Guaranties for Safety Critical Code Generation: the Case of Highly Variable Languages A Dieumegard Institut National Polytechnique de Toulouse-INPT, 2015 | 2 | 2015 |
| Vérification d’un générateur de code par génération d’annotations A Dieumegard, M Pantel Conférence en Ingénierie du Logiciel, 2012 | 2 | 2012 |
| An experiment report on a process combining formal refinement and formal software verification A Dieumegard, N Ge, E Jenn Technical report, IRT-Saint Exupéry, 2016 | 1 | 2016 |
| Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems A Dieumegard, A Toom, M Pantel Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016 | 1 | 2016 |
| Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs A Dieumegard, M Pantel, G Babin, M Carton 15th International Workshop on OCL and Textual Modeling Workshop at the …, 2015 | 1 | 2015 |
| Software product line for semantic specification of block libraries in dataflow languages A Dieumegard, A Toom, M Pantel | | 2014 |
Marc PantelAssociate Professor in Computer Science, Université de ToulouseVerified email at enseeiht.fr
