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