BibTeX records: Arnaud Bailly

• > Home > Persons > Arnaud Bailly

@article{DBLP:journals/tcs/BaillyCS06,
  author       = {Arnaud Bailly and
                  Mireille Clerbout and
                  Isabelle Simplot{-}Ryl},
  title        = {Component composition preserving behavioral contracts based on communication
                  traces},
  journal      = {Theor. Comput. Sci.},
  volume       = {363},
  number       = {2},
  pages        = {108--123},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.07.019},
  doi          = {10.1016/J.TCS.2006.07.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaillyCS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/BaillyCS05,
  author       = {Arnaud Bailly and
                  Mireille Clerbout and
                  Isabelle Simplot{-}Ryl},
  editor       = {Jacques Farr{\'{e}} and
                  Igor Litovsky and
                  Sylvain Schmitz},
  title        = {Component Composition Preserving Behavioural Contracts Based on Communication
                  Traces},
  booktitle    = {Implementation and Application of Automata, 10th International Conference,
                  {CIAA} 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3845},
  pages        = {54--65},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11605157\_5},
  doi          = {10.1007/11605157\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/BaillyCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/Lobjet/BaillyRC03,
  author       = {Arnaud Bailly and
                  Isabelle Ryl and
                  Mireille Clerbout},
  title        = {{FIDL} Sp{\'{e}}cifications formelles en {IDL3}},
  journal      = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume       = {9},
  number       = {1-2},
  pages        = {213--225},
  year         = {2003},
  url          = {https://doi.org/10.3166/objet.9.1-2.213-225},
  doi          = {10.3166/OBJET.9.1-2.213-225},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/Lobjet/BaillyRC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}