Accéder directement au contenu

Guillaume DUPONT

18
Documents

Publications

Image document

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
Image document

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
Image document

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

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 Kobayashi
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

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
Image document

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
Image document

A Matter of Life and Death: Analyzing the Security of Healthcare Networks

Guillaume Dupont , Daniel Santos , Elisa Costante , Jerry Den Hartog , Sandro Etalle
35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.355-369, ⟨10.1007/978-3-030-58201-2_24⟩
Communication dans un congrès hal-03440820v1

Modelling Hybrid Train Speed Controller using Proof and Refinement

Paulius Stankaitis , Guillaume Dupont , Neeraj Kumar Singh , Yamine Aït-Ameur , Alexei Iliasov
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
Image document

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

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
Image document

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

Empowering the Event-B Method Using External Theories

Yamine Aït-Ameur , Ismail Mendil , Guillaume Dupont , Dominique Méry , Marc Pantel
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