Guillaume Dupont

According to our database, Guillaume Dupont authored at least 30 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 2024

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., March, 2023

Formal domain-driven system development in Event-B: Application to interactive critical systems.

Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque

J. Syst. Archit., February, 2023

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.

Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

Sci. Comput. Program., 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

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Reachability Analysis and Simulation for Hybridised Event-B Models.

Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

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

PhD thesis, 2021

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

ACM Trans. Embed. Comput. Syst., 2021

Similarity-Based Clustering For IoT Device Classification.

Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

Event-B Refinement for Continuous Behaviours Approximation.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Model-driven process enactment for NFV systems with MAPLE.

Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe

Softw. Syst. Model., 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

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

Proceedings of the ICT Systems Security and Privacy Protection, 2020

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

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

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Network intrusion detection systems for in-vehicle network - Technical report.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

CoRR, 2019

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

A Survey of Network Intrusion Detection Systems for Controller Area Network.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the IEEE International Conference of Vehicular Electronics and Safety, 2019

Modelling Hybrid Train Speed Controller using Proof and Refinement.

Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

A Multimedia Modular Approach to Lifelog Moment Retrieval.

Maxime Tournadre, Guillaume Dupont, Vincent Pauwels, Bezeid Cheikh Mohamed Lmami, Alexandru-Lucian Gînsca

Proceedings of the Working Notes of CLEF 2019, 2019

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

Proceedings of the New Trends in Model and Data Engineering, 2018

Building domain-specific modelling environments with papyrus: an experience report.

Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe

Proceedings of the 10th International Workshop on Modelling in Software Engineering, 2018

MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems.

Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

A Model-Driven Process Enactment Approach for Network Service Design.

Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe

Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017