2006-conference.bib

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

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

@inproceedings{andronick06,
  author = {June Andronick and Boutheina Chetali},
  title = {{An Environment for Securing Smart
                Cards Embedded C Code}},
  year = {2006},
  booktitle = {{International Conference on Research in
                 Smart Cards (Esmart'06)}},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes}
}

@inproceedings{audebaud06mpc,
  author = {Philippe Audebaud and Christine Paulin-Mohring},
  title = {Proofs of Randomized Algorithms in {Coq}},
  crossref = {mpc2006},
  x-equipes = {demons PROVAL EXT},
  x-pdf = {http://www.lri.fr/~paulin/ALEA/article.pdf},
  url = {http://www.lri.fr/~paulin/ALEA/article.pdf},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {MPC},
  topics = {team},
  type_publi = {icolcomlec},
  year = 2006
}

@inproceedings{Bol06,
  author = {Sylvie Boldo},
  title = {Pitfalls of a full floating-point proof: example on the formal proof of the {Veltkamp/Dekker} algorithms},
  topics = {team, lri},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn},
  pages = {52-66},
  x-pdf = {http://www.lri.fr/~sboldo/files/ijcar06.pdf},
  url = {http://www.lri.fr/~sboldo/files/ijcar06.pdf},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {IJCAR},
  crossref = {ijcar06}
}

@inproceedings{BolMun06,
  author = {Sylvie Boldo and C\'esar Mu{\~n}oz},
  title = {Provably Faithful Evaluation of Polynomials},
  booktitle = {Proceedings of the 21st Annual ACM Symposium on Applied Computing},
  year = {2006},
  month = apr,
  address = {Dijon, France},
  topics = {team},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn},
  volume = 2,
  hal = {http://hal.inria.fr/inria-00050232/en/},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {SAC},
  pages = {1328-1332}
}

@inproceedings{ConchonFilliatre06wml,
  author = {Sylvain Conchon and Jean-Christophe Filli\^atre},
  title = {{Type-Safe Modular Hash-Consing}},
  booktitle = {ACM SIGPLAN Workshop on ML},
  address = {Portland, Oregon},
  topics = {team, lri},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn},
  month = sep,
  year = 2006,
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/hash-consing2.pdf},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/hash-consing2.pdf},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {ML}
}

@inproceedings{filliatre06jfla,
  author = {Jean-Christophe Filli\^atre},
  title = {It\'erer avec persistance},
  topics = {team, lri},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla06},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/enum.ps.gz}
}

@inproceedings{Filliatre06wml,
  author = {Jean-Christophe Filli\^atre},
  title = {{Backtracking iterators}},
  booktitle = {ACM SIGPLAN Workshop on ML},
  address = {Portland, Oregon},
  month = sep,
  year = 2006,
  topics = {team, lri},
  type_publi = {icolcomlec},
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/enum2.pdf},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/enum2.pdf},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {ML}
}

@inproceedings{HalbwachsMandel2006ACSD,
  author = {Nicolas Halbwachs and Louis Mandel},
  title = {Simulation and verification of asynchronous systems by means of a synchronous model},
  booktitle = {Sixth International Conference on Application of Concurrency to System Design ({ACSD'06})},
  year = {2006},
  address = {Turku, Finland},
  month = jun,
  pages = {3--14},
  x-pdf = {http://www.lri.fr/~mandel/papers/HalbwachsMandel-ACSD-2006.pdf},
  url = {http://www.lri.fr/~mandel/papers/HalbwachsMandel-ACSD-2006.pdf},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {ACSD}
}

@inproceedings{SamperMaraninchiMounierMandel2006InterSense,
  author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
                  and Louis Mandel},
  title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks},
  booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks ({InterSense'06})},
  year = {2006},
  address = {Nice, France},
  month = may,
  publisher = {ACM Press},
  url = {http://www.lri.fr/~mandel/papers/SamperMaraninchiMounierMandel-InterSense-2006.pdf},
  x-pdf = {http://www.lri.fr/~mandel/papers/SamperMaraninchiMounierMandel-InterSense-2006.pdf},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {Bodynets}
}

@inproceedings{marche06sefm,
  author = {Claude March\'e and Nicolas Rousset},
  topics = {team},
  title = {Verification of {Java Card} Applets Behavior with
  respect to Transactions and Card Tears},
  crossref = {sefm06},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {SEFM}
}

@inproceedings{marche06wst,
  author = {Claude March{\'e} and Hans Zantema},
  title = {The Termination Competition 2006},
  crossref = {wst06},
  year = 2006,
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://www.lri.fr/~marche/termination-competition/},
  note = {\url{http://www.lri.fr/~marche/termination-competition/}},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {WST}
}

@inproceedings{cohen06popl,
  crossref = {pouzet06popl}
}

@inproceedings{pouzet06popl,
  author = {Albert Cohen and Marc Duranton and Christine Eisenbeis
                  and Claire Pagetti and Florence Plateau and Marc Pouzet},
  title = {{N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems}},
  booktitle = {ACM International Conference on
                  Principles of Programming Languages (POPL'06)},
  address = {Charleston, South Carolina, USA},
  month = {January},
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {POPL},
  year = 2006
}

@inproceedings{colaco06emsoft,
  author = {Jean-Louis Cola\c{c}o and Gr\'egoire Hamon and Marc Pouzet},
  title = {{Mixing Signals and Modes in Synchronous
                   Data-flow Systems}},
  booktitle = {ACM International Conference on
                  Embedded Software (EMSOFT'06)},
  address = {Seoul, South Korea},
  month = {October},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {EMSOFT},
  topics = {team},
  year = 2006
}

@inproceedings{boldo06scan,
  author = {Sylvie Boldo and Marc Daumas and William Kahan and
                  Guillaume Melquiond},
  title = {Proof and certification for an accurate discriminant},
  booktitle = {12th IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics},
  year = {2006},
  address = {Duisburg,Germany},
  topics = {team},
  type_publi = {colloque},
  url = {http://scan2006.uni-due.de/show_abstracts.php?title=+Proof+and+certification+for+an+accurate+discriminant},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {SCAN},
  month = {sep}
}

@proceedings{ijcar06,
  title = {International Joint Conference on Automated Reasoning},
  booktitle = {Third International Joint Conference on Automated Reasoning},
  editor = {Ulrich Furbach and Natarajan Shankar},
  year = 2006,
  series = {Lecture Notes in Computer Science},
  volume = 4130,
  address = {Seattle, USA},
  month = aug,
  publisher = {Springer}
}

@proceedings{wst06,
  booktitle = {{Extended Abstracts of the 8th International Workshop on Termination, WST'06}},
  title = {{Extended Abstracts of the 8th International Workshop on Termination, WST'06}},
  year = {2006},
  editor = {Alfons Geser and Harald Sondergaard},
  month = aug
}

@proceedings{jfla06,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2006,
  booktitle = {Dix-septi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  publisher = {INRIA}
}

@proceedings{sefm06,
  title = {Software Engineering and Formal Methods},
  year = 2006,
  editor = {Dang Van Hung and Paritosh Pandya},
  booktitle = {4th IEEE International Conference on Software Engineering
and Formal Methods (SEFM'06)},
  address = {Pune, India},
  publisher = {{IEEE} Comp. Soc. Press},
  month = sep
}

@proceedings{mpc2006,
  editor = {Tarmo Uustalu},
  title = {Mathematics of Program Construction, 8th International Conference,
               MPC 2006},
  booktitle = {Mathematics of Program Construction, MPC 2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  month = jul,
  address = {Kuressaare, Estonia},
  volume = {4014},
  year = {2006}
}