Guillaume Dupont

36 papers B 6C 5Misc 2Journal 11Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. FormaliSE Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït-Ameur, Marc Frappier
2025	J	`jnl`	Extending the EB4EB framework with parameterised events. Sci. Comput. Program. Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
2025	J	`jnl`	TREBL - A Relative Complete Temporal Event-B Logic. Part I: Theory. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur
2024	J	`jnl`	Demonstration of new attacks on three healthcare network protocols in a lab environment. J. Comput. Virol. Hacking Tech. Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle
2024	—	`conf`	Generating Simulink Models from Hybridised Event-B Models. SFPVV Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel
2024	C	`conf`	On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
2023	J	`jnl`	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
2023	J	`jnl`	Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
2023	—	`conf`	Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
2023	C	`conf`	Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
2022	B	`conf`	Empowering the Event-B Method Using External Theories. IFM Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
2022	J	`jnl`	Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2022	B	`conf`	Reachability Analysis and Simulation for Hybridised Event-B Models. IFM Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
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	J	`jnl`	Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2021	B	`conf`	Event-B Refinement for Continuous Behaviours Approximation. ATVA Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2021	—	`conf`	Similarity-Based Clustering For IoT Device Classification. COINS Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2020	Misc	`conf`	A Matter of Life and Death: Analyzing the Security of Healthcare Networks. SEC Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2020	B	`conf`	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	J	`jnl`	Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection. J. Imaging Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques
2020	C	`conf`	Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
2020	C	`conf`	Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	J	`jnl`	Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2020	—	`conf`	Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. ICANN (2) Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques
2019	—	`conf`	A Multimedia Modular Approach to Lifelog Moment Retrieval. CLEF (Working Notes) Maxime Tournadre, Guillaume Dupont, Vincent Pauwels, Bezeid Cheikh Mohamed Lmami, Alexandru-Lucian Gînsca
2019	—	`conf`	A Survey of Network Intrusion Detection Systems for Controller Area Network. ICVES Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	—	`conf`	Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. ICCVE Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	Misc	`conf`	Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2019	J	`jnl`	Model-Driven Process Enactment for NFV Systems with MAPLE. CoRR Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2019	B	`conf`	Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
2019	J	`jnl`	Network intrusion detection systems for in-vehicle network - Technical report. CoRR Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2018	—	`conf`	Building domain-specific modelling environments with papyrus: an experience report. MiSE@ICSE Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
2018	—	`conf`	Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2018	B	`conf`	MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. ECMFA Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2018	C	`conf`	Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2017	—	`conf`	A Model-Driven Process Enactment Approach for Network Service Design. SDL Forum Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe