Guillaume Babin

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Web Service Compositions

Security Patterns

Continuous Functions

Top Venues

IEEE Trans. Serv. Comput.

Publications

Yamine Aït Ameur, Guillaume Babin, Marc Pantel
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. Serv. Oriented Comput. Appl. 15 (3) (2021)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Trans. Serv. Comput. 10 (1) (2017)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ (2016)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. SCC (2015)
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. OCL@MoDELS (2015)
Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA (2015)
Guillaume Babin
A formal approach for correct-by-construction system substitution. CoRR (2014)