Guillaume Dupont

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 29

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ (2023)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135 (2023)
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM (2023)
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM (2022)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216 (2022)
Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories. IFM (2022)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
Similarity-Based Clustering For IoT Device Classification. COINS (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation. ATVA (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM (2020)
Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. 19 (5) (2020)
Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques
Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. ICANN (2) (2020)
Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
A Matter of Life and Death: Analyzing the Security of Healthcare Networks. SEC (2020)
Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques
Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection. J. Imaging 6 (7) (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Maxime Tournadre, Guillaume Dupont, Vincent Pauwels, Bezeid Cheikh Mohamed Lmami, Alexandru-Lucian Gînsca
A Multimedia Modular Approach to Lifelog Moment Retrieval. CLEF (Working Notes) (2019)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
Network intrusion detection systems for in-vehicle network - Technical report. CoRR (2019)
Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
Model-Driven Process Enactment for NFV Systems with MAPLE. CoRR (2019)
Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. ICCVE (2019)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE (2019)
Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
A Survey of Network Intrusion Detection Systems for Controller Area Network. ICVES (2019)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ (2018)
Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. ECMFA (2018)
Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
Building domain-specific modelling environments with papyrus: an experience report. MiSE@ICSE (2018)
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 Workshops (2018)
Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
A Model-Driven Process Enactment Approach for Network Service Design. SDL Forum (2017)