Skip to Main content
Number of documents

5

CV


Toto


Conference papers4 documents

  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj 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. International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.155-170. ⟨hal-02450998⟩
  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj 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⟩
  • 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 on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170, ⟨10.1007/978-3-319-91271-4_11⟩. ⟨hal-03049931⟩

Preprints, Working Papers, ...1 document

  • Nicolas Laforge, Richard Wiltshaw, Richard V. Craster, Vincent Laude, Julio Andrés Iglesias Martínez, et al.. Acoustic topological circuitry in square and rectangular phononic crystals. 2020. ⟨hal-03091926⟩