Get started
Author

Guillaume Babin

Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B
2015 · Guillaume Babin, Yamine Ait Ameur, et al. · IEEE International Conference on Services Computing · 20
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
2016 · Guillaume Babin, Yamine Ait-Ameur, et al. · IEEE Transactions on Services Computing · 15
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
2016 · Guillaume Babin, Yamine Ait-Ameur, et al. · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 12
A System Substitution Mechanism for Hybrid Systems in Event-B
2016 · Guillaume Babin, Yamine Aït-Ameur, et al. · Lecture notes in computer science · 11
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
2015 · Guillaume Babin, Yamine Aït-Ameur, et al. · Lecture notes in computer science · 11
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
2016 · Guillaume Babin, Yamine Aït-Ameur, et al. · Lecture notes in computer science · 5
A generic model for system substitution
2016 · Babin, Guillaume, Aït-Ameur, Yamine, et al. · HAL · 3
A formal approach for correct-by-construction system substitution
2014 · Babin, Guillaume · Open Archive Toulouse Archive Ouverte (University of Toulouse) · 2
PDF
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation
2021 · Yamine Ait-Ameur, Guillaume Babin, et al. · Service Oriented Computing and Applications
A formal approach for correct-by-construction system substitution
2017 · Guillaume Babin · theses.fr (ABES)
PDF
実行時におけるWebサービス補償:Event‐B洗練化と証明に基づく形式的手法を用いた形式的モデリングおよび検証【Powered by NICT】
2017 · Babin Guillaume, Ait-Ameur Yamine, et al. · IEEE Transactions on Services Computing
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
2015 · Dieumegard, Arnaud, Pantel, Marc, et al. · HAL
Works count: 21
Citation count: 79
H-index: 5
I10-index: 5
Year
Topic
Type