default search action
Search dblp for Publications
export results for "Guillaume Babin"
@inproceedings{DBLP:conf/iscram/BabinMDRL22, author = {Mickael Babin and Nada Matta and Guillaume Delatour and Paul Henri Richard and Patrick Lacl{\'{e}}mence}, editor = {Rob Grace and Hossein Baharmand}, title = {How to Support Situation Awareness in Operational Crisis Management: Case Studies}, booktitle = {19th International Conference on Information Systems for Crisis Response and Management, {ISCRAM} 2022, Tarbes, France, May 22-25, 2022}, pages = {225--232}, publisher = {{ISCRAM} Digital Library}, year = {2022}, url = {https://idl.iscram.org/show.php?record=2412}, timestamp = {Thu, 10 Nov 2022 16:58:41 +0100}, biburl = {https://dblp.org/rec/conf/iscram/BabinMDRL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soca/AmeurBP21, author = {Yamine A{\"{\i}}t Ameur and Guillaume Babin and Marc Pantel}, title = {An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation}, journal = {Serv. Oriented Comput. Appl.}, volume = {15}, number = {3}, pages = {205--230}, year = {2021}, url = {https://doi.org/10.1007/s11761-021-00314-4}, doi = {10.1007/S11761-021-00314-4}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soca/AmeurBP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Babin17, author = {Guillaume Babin}, title = {A formal approach for correct-by-construction system substitution. (Une approche formelle pour la substitution correcte par construction de syst{\`{e}}mes)}, school = {National Polytechnic Institute of Toulouse, France}, year = {2017}, url = {https://tel.archives-ouvertes.fr/tel-04222947}, timestamp = {Sun, 29 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Babin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/BabinAP17, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Marc Pantel}, title = {Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {10}, number = {1}, pages = {107--120}, year = {2017}, url = {https://doi.org/10.1109/TSC.2016.2594782}, doi = {10.1109/TSC.2016.2594782}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/BabinAP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BabinASP16, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Neeraj Kumar Singh and Marc Pantel}, editor = {Michael J. Butler and Klaus{-}Dieter Schewe and Atif Mashkoor and Mikl{\'{o}}s Bir{\'{o}}}, title = {Handling Continuous Functions in Hybrid Systems Reconfigurations: {A} Formal Event-B Development}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9675}, pages = {290--296}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-33600-8\_23}, doi = {10.1007/978-3-319-33600-8\_23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BabinASP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/BabinAP16, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Marc Pantel}, editor = {Radu F. Babiceanu and H{\'{e}}l{\`{e}}ne Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu}, title = {Correct Instantiation of a System Reconfiguration Pattern: {A} Proof and Refinement-Based Approach}, booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2016, Orlando, FL, USA, January 7-9, 2016}, pages = {31--38}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/HASE.2016.47}, doi = {10.1109/HASE.2016.47}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hase/BabinAP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BabinASP16, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Neeraj Kumar Singh and Marc Pantel}, editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu}, title = {A System Substitution Mechanism for Hybrid Systems in Event-B}, booktitle = {Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10009}, pages = {106--121}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47846-3\_8}, doi = {10.1007/978-3-319-47846-3\_8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/BabinASP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/BabinAP15, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Marc Pantel}, title = {Formal Verification of Runtime Compensation of Web Service Compositions: {A} Refinement and Proof Based Proposal with Event-B}, booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC} 2015, New York City, NY, USA, June 27 - July 2, 2015}, pages = {98--105}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SCC.2015.23}, doi = {10.1109/SCC.2015.23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/IEEEscc/BabinAP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/DieumegardPBC15, author = {Arnaud Dieumegard and Marc Pantel and Guillaume Babin and Martin Carton}, editor = {Achim D. Brucker and Marina Egea and Martin Gogolla and Fr{\'{e}}d{\'{e}}ric Tuong}, title = {Tool Paper: {A} Lightweight Formal Encoding of a Constraint Language for DSMLs}, booktitle = {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), Ottawa, Canada, September 28, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1512}, pages = {89--104}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1512/paper08.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/DieumegardPBC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ofc/PoulinACBFALSRL15, author = {Michel Poulin and Simon Ayotte and Fran{\c{c}}ois Costin and Andr{\'{e}} Babin and Dominic Faucher and Maryse Aub{\'{e}} and Christine Latrasse and Simon Savard and Guillaume Robidoux and Mathieu Lalibert{\'{e}} and Fran{\c{c}}ois Pelletier}, title = {Optically phase-locked lasers for {RF} photonics applications}, booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2015, Los Angeles, CA, USA, March 22-26, 2015}, pages = {1--3}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1364/OFC.2015.Tu3F.1}, doi = {10.1364/OFC.2015.TU3F.1}, timestamp = {Wed, 24 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ofc/PoulinACBFALSRL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/BabinANP15, author = {Guillaume Babin and Yamine A{\"{\i}}t Ameur and Shin Nakajima and Marc Pantel}, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {Refinement and Proof Based Development of Systems Characterized by Continuous Functions}, booktitle = {Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, {SETTA} 2015, Nanjing, China, November 4-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9409}, pages = {55--70}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0\_4}, doi = {10.1007/978-3-319-25942-0\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/BabinANP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Babin14, author = {Guillaume Babin}, title = {A formal approach for correct-by-construction system substitution}, journal = {CoRR}, volume = {abs/1404.7513}, year = {2014}, url = {http://arxiv.org/abs/1404.7513}, eprinttype = {arXiv}, eprint = {1404.7513}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Babin14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.