2010-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2010-journal.cite -ob 2010-journal.bib -c 'year = 2010 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{lucy:jdaes10,
  author = {Marc Pouzet and Pascal Raymond},
  title = {{Modular Static Scheduling of Synchronous Data-flow
                  Networks: An efficient symbolic representation}},
  journal = {Journal of Design Automation for Embedded Systems},
  year = 2010,
  note = {Special issue of selected papers from
                  \url{http://esweek09.inrialpes.fr/}{Embedded System Week}},
  x-equipes = {demons PROVAL EXT},
  x-support = {revue},
  x-cle-support = {JDAES},
  x-type = {article},
  topics = {team}
}

@article{daumas09toms,
  author = {Marc Daumas and Guillaume Melquiond},
  title = {Certification of bounds on expressions involving rounded operators},
  journal = {Transactions on Mathematical Software},
  publisher = {ACM Press},
  year = {2010},
  volume = {37},
  number = {1},
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {TOMS},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  type_publi = {irevcomlec},
  pages = {1--20},
  doi = {10.1145/1644001.1644003},
  hal = {hal-00127769}
}

@article{moy10jsc,
  author = {Yannick Moy and Claude March\'e},
  title = {Modular Inference of Subprogram Contracts for Safety Checking},
  journal = {Journal of Symbolic Computation},
  year = 2010,
  volume = 45,
  hal = {http://hal.inria.fr/inria-00534331/en/},
  doi = {10.1016/j.jsc.2010.06.004},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  pages = {1184-1211},
  x-equipes = {demons PROVAL ext},
  x-support = {revue},
  x-cle-support = {JSC},
  x-type = {article},
  topics = {team}
}