Guillaume DUPONT

Publications

Article dans une revue (4)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems Yamine Aït-Ameur,Sergiy Bogomolov,Guillaume Dupont,Alexei Iliasov,Alexander Romanovskyet al. Formal Aspects of Computing, 2023, 35 (1), pp.1-1. ⟨10.1145/3524052⟩ Article dans une revue hal-04285134v1
Formal domain-driven system development in Event-B: Application to interactive critical systems Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Guillaume Dupont,Dominique Méryet al. Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩ Article dans une revue hal-03904803v1
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩ Article dans une revue hal-03513847v1
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩ Article dans une revue hal-03266069v1

Communication dans un congrès (11)

Proof automation for Event-B theories Peter Riviere,Yamine Aït-Ameur,Neeraj Kumar Singh,Guillaume Dupont 10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France Communication dans un congrès hal-04308810v1
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur,Guillaume Dupont NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18 Communication dans un congrès hal-04046949v1
Standalone Event-B models analysis relying on the EB4EB meta-theory Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur,Guillaume Dupont 9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France Communication dans un congrès hal-04049910v1
Event-B Refinement for Continuous Behaviours Approximation Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩ Communication dans un congrès hal-03385081v1
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩ Communication dans un congrès hal-03265788v1
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩ Communication dans un congrès hal-03266062v1
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Fuyuki Ishikawa,Tsutomu Kobayashiet al. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩ Communication dans un congrès hal-03266056v1
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩ Communication dans un congrès hal-03012569v1
Modelling Hybrid Train Speed Controller using Proof and Refinement Paulius Stankaitis,Guillaume Dupont,Neeraj Kumar Singh,Yamine Aït-Ameur,Alexei Iliasovet al. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Nov 2019, Guangzhou, China. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩ Communication dans un congrès hal-03265768v1
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh MEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩ Communication dans un congrès hal-02983162v1
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170 Communication dans un congrès hal-02450998v1

Chapitre d'ouvrage (1)

Empowering the Event-B Method Using External Theories Yamine Aït-Ameur,Ismail Mendil,Guillaume Dupont,Dominique Méry,Marc Pantelet al. Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩ Chapitre d'ouvrage hal-03904799v1

Pré-publication, Document de travail (1)

A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B Christophe Chen,Peter Riviere,Neeraj Kumar Singh,Guillaume Dupont,Yamine Ait Ameuret al. 2025 Pré-publication, Document de travail hal-05081879v1

Thèse (1)

Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof Guillaume Dupont Other [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2021. English. ⟨NNT : 2021INPT0001⟩ Thèse tel-04165215v1