AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Guillaume Dupont

Guillaume Dupont

Institut de Recherche en Informatique de Toulouse - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4518371
Toulouse Institute for Computer Science Research
person_outline Guillaume Dupont's MOST POPULAR ARTICLES
1-) Proof-based approach to hybrid systems development: dynamic logic and Event-B International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
2-) Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-37, 2021
3-) Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B International Conference on Rigorous State-Based Methods, 169-185, 2020
4-) Handling refinement of continuous behaviors: a refinement and proof based approach with Event-B International Symposium on Theoretical Aspects of Software Engineering, 2019
5-) Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019