| Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 38 | 2018 |
| Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems G Dupont, Y Ait-Ameur, NK Singh, M Pantel ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-37, 2021 | 26 | 2021 |
| Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Rigorous State-Based Methods, 169-185, 2020 | 24 | 2020 |
| Handling refinement of continuous behaviors: a refinement and proof based approach with Event-B G Dupont, YA Ameur, M Pantel, N Singh International Symposium on Theoretical Aspects of Software Engineering, 2019 | 19* | 2019 |
| Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 19 | 2019 |
| Hybrid systems and event-b: A formal approach to signalised left-turn assist G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Model and Data Engineering, 153-158, 2018 | 13 | 2018 |
| Modelling hybrid train speed controller using proof and refinement P Stankaitis, G Dupont, NK Singh, Y Ait-Ameur, A Iliasov, A Romanovsky 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 11 | 2019 |
| A model-driven process enactment approach for network service design S Mustafiz, N Nazarzadeoghaz, G Dupont, F Khendek, M Toeroe International SDL Forum, 99-118, 2017 | 11 | 2017 |
| Building domain-specific modelling environments with papyrus: an experience report G Dupont, S Mustafiz, F Khendek, M Toeroe Proceedings of the 10th International Workshop on Modelling in Software …, 2018 | 9 | 2018 |
| An Event-B Based Generic Framework for Hybrid Systems Formal Modelling G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Integrated Formal Methods, 82-102, 2020 | 7 | 2020 |
| Model-driven process enactment for NFV systems with MAPLE S Mustafiz, O Hassane, G Dupont, F Khendek, M Toeroe Software and Systems Modeling 19 (5), 1263-1282, 2020 | 7 | 2020 |
| Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement G Dupont, Y Aït-Ameur, NK Singh, F Ishikawa, T Kobayashi, M Pantel International Conference on Formal Engineering Methods, 251-267, 2020 | 7 | 2020 |
| MAPLE: An integrated environment for process modelling and enactment for NFV systems S Mustafiz, G Dupont, F Khendek, M Toeroe European Conference on Modelling Foundations and Applications, 164-178, 2018 | 6 | 2018 |
| Megamodel driven process enactment G Dupont, S Mustafiz, F Khendek, M Toeroe US Patent App. 16/642,320, 2020 | 2 | 2020 |
| Approches au Développement Formel de Systèmes Hybrides Basées sur la Preuve: Logique Dynamique et Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh Approches Formelles dans l’Assistance au Développement de Logiciels, 5, 2019 | | 2019 |
