default search action
Guillaume Dupont
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle:
Demonstration of new attacks on three healthcare network protocols in a lab environment. J. Comput. Virol. Hacking Tech. 20(2): 301-314 (2024) - 2023
- [j6]Yamine Aït-Ameur, Sergiy Bogomolov
, Guillaume Dupont
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35(1): 3:1 (2023) - [j5]Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, 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: 102798 (2023) - [c21]Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont:
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM 2023: 312-331 - [c20]Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ 2023: 193-211 - 2022
- [j4]Guillaume Dupont
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216: 102765 (2022) - [c19]Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere
Empowering the Event-B Method Using External Theories. IFM 2022: 18-35 - [c18]Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM 2022: 109-128 - 2021
- [b1]Guillaume Dupont:
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). National Polytechnic Institute of Toulouse, France, 2021 - [j3]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): 35:1-35:37 (2021) - [c17]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336 - [c16]Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle:
Similarity-Based Clustering For IoT Device Classification. COINS 2021: 1-7 - 2020
- [j2]Guillaume Dupont, Ekaterina Kalinicheva
Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection. J. Imaging 6(7): 57 (2020) - [j1]Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek
Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. 19(5): 1263-1282 (2020) - [c15]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: 169-185 - [c14]Guillaume Dupont, Ekaterina Kalinicheva
Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. ICANN (2) 2020: 813-824 - [c13]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: 251-267 - [c12]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM 2020: 82-102 - [c11]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: 355-369
2010 – 2019
- 2019
- [c10]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 - [c9]Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. ICCVE 2019: 1-6 - [c8]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: 107-113 - [c7]Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
A Survey of Network Intrusion Detection Systems for Controller Area Network. ICVES 2019: 1-6 - [c6]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: 9-16 - [i2]Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis:
Network intrusion detection systems for in-vehicle network - Technical report. CoRR abs/1905.11587 (2019) - [i1]Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
Model-Driven Process Enactment for NFV Systems with MAPLE. CoRR abs/1910.11756 (2019) - 2018
- [c5]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: 155-170 - [c4]Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. ECMFA 2018: 164-178 - [c3]Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek
Building domain-specific modelling environments with papyrus: an experience report. MiSE@ICSE 2018: 49-56 - [c2]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: 153-158 - 2017
- [c1]Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek
A Model-Driven Process Enactment Approach for Network Service Design. SDL Forum 2017: 99-118
Coauthor Index
aka: Yamine Aït Ameur
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: