Skip to Main content
Number of documents

9

CV


Toto


Journal articles2 documents

  • Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Science of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩. ⟨hal-03513847⟩
  • Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel. Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩. ⟨hal-03266069⟩

Conference papers7 documents

  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh. Event-B Refinement for Continuous Behaviours Approximation. 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⟩. ⟨hal-03385081⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, et al.. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩. ⟨hal-03266056⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. 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⟩. ⟨hal-03265788⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. 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⟩. ⟨hal-03266062⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B. 13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩. ⟨hal-03012569⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. 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. ⟨hal-02450998⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. 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⟩. ⟨hal-02983162⟩