Search dblp for Publications

export results for "Guillaume Babin"

 download as .bib file

@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.