Publications de
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/16-18/11/16, Vol. 10009, Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Springer, Lecture Notes in Computer Science, p. 106-121, novembre 2016.
Accès : http://dx.doi.org/10.1007/978-3-319-47846-3_8
BibTeXGuillaume Babin, Yamine Ait Ameur, Neeraj Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development (short paper)
Dans : International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), Linz, Austria, 23/05/16-27/05/16, 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
BibTeXGuillaume 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/16-09/01/16, IEEE : Institute of Electrical and Electronics Engineers, p. 31-38, janvier 2016.
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/15-02/07/15, IEEE : Institute of Electrical and Electronics Engineers, p. 98-105, 2015.
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/15-06/11/15, 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
BibTeXArnaud 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/15-02/10/15, Vol. 1512, Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (Eds.), CEUR-WS : Workshop proceedings, p. 89-104, septembre 2015.
Accès : http://ceur-ws.org/Vol-1512/paper08.pdf – https://oatao.univ-toulouse.fr/15449/
BibTeXA formal approach for correct-by-construction system substitution (student paper)
Dans : European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13/05/14-16/05/14, Elena Troubitsyna (Eds.), ACM/Computing Research Repository, (en ligne), mai 2014.
Résumé Accès : http://arxiv.org/abs/1404.7513 – https://oatao.univ-toulouse.fr/13147/
BibTeX
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