Guillaume Babin
Orcid: 0000-0002-7011-317X
According to our database1,
Guillaume Babin
authored at least 10 papers
between 2014 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation.
Serv. Oriented Comput. Appl., 2021
2017
A formal approach for correct-by-construction system substitution. (Une approche formelle pour la substitution correcte par construction de systèmes).
PhD thesis, 2017
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method.
IEEE Trans. Serv. Comput., 2017
2016
Proceedings of the Formal Methods and Software Engineering, 2016
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Refinement and Proof Based Development of Systems Characterized by Continuous Functions.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014