A formal approach for correct-by-construction system substitution. - Guillaume Babin (CoRR, 2014)

Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (SCC, 2015)

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. - Arnaud Dieumegard; Marc Pantel; Guillaume Babin; Martin Carton (OCL@MoDELS, 2015)

Refinement and Proof Based Development of Systems Characterized by Continuous Functions. - Guillaume Babin; Yamine Aït Ameur; Shin Nakajima 001; Marc Pantel (SETTA, 2015)

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ABZ, 2016)

Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (HASE, 2016)

A System Substitution Mechanism for Hybrid Systems in Event-B. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ICFEM, 2016)

Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (IEEE Trans. Serv. Comput., 2017)

A formal approach for correct-by-construction system substitution. (Une approche formelle pour la substitution correcte par construction de systèmes). - Guillaume Babin (2017)

An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. - Yamine Aït Ameur; Guillaume Babin; Marc Pantel (Serv. Oriented Comput. Appl., 2021)