general.bib

@ARTICLE{goessler12,
  AUTHOR = {G. Goessler and D.N. Xu and A. Girault},
  TITLE = {Probabilistic Contracts for Component-Based Design},
  KEY = {my-cbd-ft},
  JOURNAL = {Formal Methods in System Design},
  YEAR = 2012,
  VOLUME = 41,
  NUMBER = 2,
  PAGES = {211--231},
  ANNOTE = {Full version of~\cite{xu10}},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {no}
}

@INPROCEEDINGS{roop09,
  AUTHOR = {P.S. Roop and A. Girault and R. Sinha and
                  G. Goessler},
  TITLE = {Specification Enforcing Refinement for
                  Convertibility Verification},
  KEY = {my-cbd},
  BOOKTITLE = {International Conference on Application of
                  Concurrency to System Design, ACSD'09},
  PAGES = {148--157},
  YEAR = 2009,
  ADDRESS = {Augsburg, Germany},
  MONTH = JUL,
  PUBLISHER = {IEEE, Los Alamitos},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@INPROCEEDINGS{tivoli07,
  AUTHOR = {M. Tivoli and P. Fradet and A. Girault and
                  G. Goessler},
  TITLE = {Adaptor Synthesis for Real-Time Components},
  KEY = {my-cbd},
  BOOKTITLE = {International Conference on Tools and Algorithms for
                  the Construction and Analysis of Systems, TACAS'07},
  PAGES = {185--200},
  YEAR = 2007,
  EDITOR = {O. Grumberg and M. Huth},
  VOLUME = 4424,
  SERIES = {LNCS},
  ADDRESS = {Braga, Portugal},
  MONTH = MAR,
  PUBLISHER = {Springer-Verlag},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tacas07/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tacas07/main.ps},
  WHERE = {Published/Tacas07/AdapterSynthesis.pdf},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@INPROCEEDINGS{xu10,
  AUTHOR = {D.N. Xu and G. Goessler and A. Girault},
  TITLE = {Probabilistic Contracts for Component-based Design},
  BOOKTITLE = {International Symposium on Automated Technology for
                  Verification and Analysis, ATVA'10},
  KEY = {my-cbd-ft},
  PAGES = {325--340},
  YEAR = 2010,
  VOLUME = 6252,
  SERIES = {LNCS},
  ADDRESS = {Singapore, Singapore},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}