Suivre
Guillaume Dupont
Titre
Citée par
Citée par
Année
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
312018
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
192021
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
162020
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
14*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
142019
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
112019
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
112018
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
102017
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
82018
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
72020
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
72020
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
62020
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
52018
Megamodel driven process enactment
G Dupont, S Mustafiz, F Khendek, M Toeroe
US Patent App. 16/642,320, 2020
12020
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–15