Publications

Guillaume Babin

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 

Articles de revues internationales / International journal papers

• Guillaume Babin, Yamine Ait Ameur, Marc Pantel. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. Dans : IEEE Transactions on Services Computing, IEEE, Numéro spécial Special Issue on Advances in Web Services Research, Vol. 10 N. 1, p. 107-120, janvier 2017.
  Accès : https://doi.org/10.1109/TSC.2016.2594782
  BibTeX

Contributions à des ouvrages de synthèse / Book chapters

• Guillaume Babin, Yamine Ait Ameur, Marc Pantel. A generic model for system substitution. Dans : Trustworthy Cyber-Physical Systems Engineering. Alexander Romanovsky, Fuyuki Ishikawa (Eds.), Chapman & Hall, CRC Press, 4, p. 75-103, Computer and Information Science Series, septembre 2016.
  Accès : https://www.crcpress.com/Trustworthy-Cyber-Physical-Systems-Engineering/Romanovsky-Ishikawa/9781498742450
  BibTeX

Conférences et workshops internationaux / International conference papers

• Guillaume Babin, Yamine Ait Ameur, Neeraj Singh, Marc Pantel. A System Substitution Mechanism for Hybrid Systems in Event-B (regular paper). Dans : International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14/11/2016-18/11/2016, Vol. 10009, Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Springer International Publishing, Lecture Notes in Computer Science, p. 106-121, novembre 2016.
  Accès : http://dx.doi.org/10.1007/978-3-319-47846-3_8
  BibTeX

• Guillaume Babin, Yamine Ait Ameur, Neeraj Singh, Marc Pantel. Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development (short paper). Dans : International ABZ Conference: ASM, Alloy, B, TLA, VDM, Z, Linz, Austria, 23/05/2016-27/05/2016, Vol. 9675, Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (Eds.), Springer-Verlag, Lecture Notes in Computer Science 0302-9743, p. 290-296, 2016.
  Accès : http://dx.doi.org/10.1007/978-3-319-33600-8_23
  BibTeX

• Guillaume Babin, Yamine Ait Ameur, Marc Pantel. Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach (regular paper). Dans : IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), Orlando, FL, USA, 07/01/2016-09/01/2016, IEEE, p. 31-38, janvier 2016.
  Accès : http://dx.doi.org/10.1109/HASE.2016.47
  BibTeX

• Guillaume Babin, Yamine Ait Ameur, Marc Pantel. Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B (regular paper). Dans : IEEE International Conference on Services Computing (SCC 2015), New York, NY, USA, 27/06/2015-02/07/2015, IEEE, p. 98-105, 2015.
  Accès : http://dx.doi.org/10.1109/SCC.2015.23
  BibTeX

• Guillaume Babin, Yamine Ait Ameur, Shin Nakajima, Marc Pantel. Refinement and Proof Based Development of Systems Characterized by Continuous Functions (regular paper). Dans : International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nanjing, Chine, 04/11/2015-06/11/2015, Vol. 9409, Xuandong Li, Zhiming Liu, Wang Yi (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 55-70, 2015.
  Accès : http://dx.doi.org/10.1007/978-3-319-25942-0_4
  BibTeX

• Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs (regular paper). Dans : OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015), Ottawa, 27/09/2015-02/10/2015, Vol. 1512, Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (Eds.), CEUR Workshop Proceedings, p. 89-104, septembre 2015.
  Accès : http://ceur-ws.org/Vol-1512/paper08.pdf - http://oatao.univ-toulouse.fr/15449/
  BibTeX

• Guillaume Babin. A formal approach for correct-by-construction system substitution (student paper). Dans : European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13/05/2014-16/05/2014, Elena Troubitsyna (Eds.), ACM/Computing Research Repository, (en ligne), mai 2014.
  Résumé Accès : http://arxiv.org/abs/1404.7513 - http://oatao.univ-toulouse.fr/13147/
  BibTeX

Thèses et habilitations / Ph.D Theses and Habilitation Theses

• Guillaume Babin. A formal approach for correct-by-construction system substitution. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2017.
  Accès : https://www.theses.fr/2017INPT0061
  BibTeX