A Model-Driven Process Enactment Approach for Network Service Design. - Sadaf Mustafiz; Navid Nazarzadeoghaz; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (SDL Forum, 2017)

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2018)

MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. - Sadaf Mustafiz; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (ECMFA, 2018)

Building domain-specific modelling environments with papyrus: an experience report. - Guillaume Dupont; Sadaf Mustafiz; Ferhat Khendek; Maria Toeroe (MiSE@ICSE, 2018)

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (MEDI Workshops, 2018)

A Multimedia Modular Approach to Lifelog Moment Retrieval. - Maxime Tournadre; Guillaume Dupont; Vincent Pauwels; Bezeid Cheikh Mohamed Lmami; Alexandru-Lucian Gînsca (CLEF (Working Notes), 2019)

Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (ICCVE, 2019)

Modelling Hybrid Train Speed Controller using Proof and Refinement. - Paulius Stankaitis; Guillaume Dupont; Neeraj Kumar Singh 001; Yamine Aït Ameur; Alexei Iliasov; Alexander B. Romanovsky (ICECCS, 2019)

A Survey of Network Intrusion Detection Systems for Controller Area Network. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (ICVES, 2019)

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (TASE, 2019)

Network intrusion detection systems for in-vehicle network - Technical report. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (CoRR, 2019)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2020)

Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. - Guillaume Dupont; Ekaterina Kalinicheva; Jérémie Sublime; Florence Rossant; Michel Pâques (ICANN (2), 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (ICFEM, 2020)

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (IFM, 2020)

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 (SEC, 2020)

Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection. - Guillaume Dupont; Ekaterina Kalinicheva; Jérémie Sublime; Florence Rossant; Michel Pâques (J. Imaging, 2020)

Model-driven process enactment for NFV systems with MAPLE. - Sadaf Mustafiz; Omar Hassane; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (Softw. Syst. Model., 2020)

Event-B Refinement for Continuous Behaviours Approximation. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ATVA, 2021)

Similarity-Based Clustering For IoT Device Classification. - Guillaume Dupont; Cristoffer Leite; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle (COINS, 2021)

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ACM Trans. Embed. Comput. Syst., 2021)

Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof. (Conception correcte par construction de systèmes hybrides basée sur le raffinement et la preuve). - Guillaume Dupont (2021)

Reachability Analysis and Simulation for Hybridised Event-B Models. - Yamine Aït Ameur; Sergiy Bogomolov; Guillaume Dupont; Neeraj Kumar Singh 001; Paulius Stankaitis (IFM, 2022)

Empowering the Event-B Method Using External Theories. - Yamine Aït Ameur; Guillaume Dupont; Ismaïl Mendil; Dominique Méry; Marc Pantel; Peter Riviere; Neeraj Kumar Singh 001 (IFM, 2022)

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (Sci. Comput. Program., 2022)

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït Ameur; Guillaume Dupont (NFM, 2023)

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (ABZ, 2023)

Formal domain-driven system development in Event-B: Application to interactive critical systems. - Ismaïl Mendil; Yamine Aït-Ameur; Neeraj Kumar Singh 001; Guillaume Dupont; Dominique Méry; Philippe A. Palanque (J. Syst. Archit., 2023)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. - Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander B. Romanovsky; Paulius Stankaitis (Formal Aspects Comput., 2023)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. - Peter Rivière; Tsutomu Kobayashi; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (ICFEM, 2024)

Generating Simulink Models from Hybridised Event-B Models. - Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït Ameur; Marc Pantel (SFPVV, 2024)

Demonstration of new attacks on three healthcare network protocols in a lab environment. - Guillaume Dupont; Daniel Ricardo dos Santos; Stanislav Dashevskyi; Sangavi Vijayakumar; Sashaank P. Murali; Elisa Costante; Jerry den Hartog; Sandro Etalle (J. Comput. Virol. Hacking Tech., 2024)

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. - Christophe Chen; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït-Ameur; Marc Frappier (FormaliSE, 2025)

Extending the EB4EB framework with parameterised events. - Peter Rivière; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (Sci. Comput. Program., 2025)