Guillaume DUPONT
18
Documents
Publications
|
A Refinement-based Formal Development of Cyber-physical Railway Signalling SystemsFormal 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 systemsJournal 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-BScience 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 SystemsACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Article dans une revue
hal-03266069v1
|
|
Formalising Liveness Properties in Event-B with the Reflexive EB4EB FrameworkNASA 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-theory9th 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
|
|
Proof automation for Event-B theories10th 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 Refinement22nd 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 Approximation19th 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 Modelling16th 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-B7th 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
|
|
|
A Matter of Life and Death: Analyzing the Security of Healthcare Networks35th 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 Refinement24th 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
|
|
|
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B13th 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 AssistMEDI 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-B6th 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 TheoriesIntegrated 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
|
|
Correct-by-Construction Design of Hybrid Systems Based on Refinement and ProofOther [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2021. English. ⟨NNT : 2021INPT0001⟩
Thèse
tel-04165215v1
|