( en | de | ru )

 

Disambiguation of "Dupont, Guillaume"

Author of the publication

copydeleteadd this publication to your clipboard
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems.

, , , and . ECMFA, volume 10890 of Lecture Notes in Computer Science, page 164-178. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wilhelm Dupont

Marianne Dupont

Yvonne Dupont

Ralf Dupont

Simon Dupont

 

Other publications of authors with the same name

A Model-Driven Process Enactment Approach for Network Service Design., , , , and . SDL Forum, volume 10567 of Lecture Notes in Computer Science, page 99-118. Springer, (2017)Event-B Refinement for Continuous Behaviours Approximation., , , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 320-336. Springer, (2021)Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B., , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 169-185. Springer, (2020)A Survey of Network Intrusion Detection Systems for Controller Area Network., , , and . ICVES, page 1-6. IEEE, (2019)Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression., , , , and . ICANN (2), volume 12397 of Lecture Notes in Computer Science, page 813-824. Springer, (2020)MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , and . ECMFA, volume 10890 of Lecture Notes in Computer Science, page 164-178. Springer, (2018)Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems., , , and . ACM Trans. Embed. Comput. Syst., 20 (4): 35:1-35:37 (2021)Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B., , , and . Sci. Comput. Program., (2022)Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement., , , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 251-267. Springer, (2020)Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework., , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 312-331. Springer, (2023)