Guillaume Dupont
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICFEM | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2022 | IFM | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | ATVA | Event-B Refinement for Continuous Behaviours Approximation. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2020 | ICANN | Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. | Guillaume Dupont, Ekaterina Kalinicheva, Jrmie Sublime, Florence Rossant, Michel Pques |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | IFM | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2020 | SEC | A Matter of Life and Death: Analyzing the Security of Healthcare Networks. | Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | TASE | Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | ICSE | Building domain-specific modelling environments with papyrus: an experience report. | Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe |
| 2018 | MEDI | Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |