Skip to Main content
Number of documents

3

CV


Toto


Conference papers3 documents

  • 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. Workshops held at the 8th Model and Data Engineering International Conference - MEDI 2018, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩. ⟨hal-02983162⟩