Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/iscram/BabinMDRL22,
  author       = {Mickael Babin and
                  Nada Matta and
                  Guillaume Delatour and
                  Paul Henri Richard and
                  Patrick Lacl{\'{e}}mence},
  title        = {How to Support Situation Awareness in Operational Crisis Management:
                  Case Studies},
  booktitle    = {{ISCRAM}},
  pages        = {225--232},
  publisher    = {{ISCRAM} Digital Library},
  year         = {2022}
}

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

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

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

@inproceedings{DBLP:conf/asm/BabinASP16,
  author       = {Guillaume Babin and
                  Yamine A{\"{\i}}t Ameur and
                  Neeraj Kumar Singh and
                  Marc Pantel},
  title        = {Handling Continuous Functions in Hybrid Systems Reconfigurations:
                  {A} Formal Event-B Development},
  booktitle    = {{ABZ}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9675},
  pages        = {290--296},
  publisher    = {Springer},
  year         = {2016}
}

@inproceedings{DBLP:conf/hase/BabinAP16,
  author       = {Guillaume Babin and
                  Yamine A{\"{\i}}t Ameur and
                  Marc Pantel},
  title        = {Correct Instantiation of a System Reconfiguration Pattern: {A} Proof
                  and Refinement-Based Approach},
  booktitle    = {{HASE}},
  pages        = {31--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2016}
}

@inproceedings{DBLP:conf/icfem/BabinASP16,
  author       = {Guillaume Babin and
                  Yamine A{\"{\i}}t Ameur and
                  Neeraj Kumar Singh and
                  Marc Pantel},
  title        = {A System Substitution Mechanism for Hybrid Systems in Event-B},
  booktitle    = {{ICFEM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {106--121},
  year         = {2016}
}

@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    = {{SCC}},
  pages        = {98--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}

@inproceedings{DBLP:conf/models/DieumegardPBC15,
  author       = {Arnaud Dieumegard and
                  Marc Pantel and
                  Guillaume Babin and
                  Martin Carton},
  title        = {Tool Paper: {A} Lightweight Formal Encoding of a Constraint Language
                  for DSMLs},
  booktitle    = {OCL@MoDELS},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {89--104},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}

@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    = {{OFC}},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2015}
}

@inproceedings{DBLP:conf/setta/BabinANP15,
  author       = {Guillaume Babin and
                  Yamine A{\"{\i}}t Ameur and
                  Shin Nakajima and
                  Marc Pantel},
  title        = {Refinement and Proof Based Development of Systems Characterized by
                  Continuous Functions},
  booktitle    = {{SETTA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9409},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2015}
}

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