2005-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2005-conference.cite -ob 2005-conference.bib -c 'year = 2005 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{barthe05fast,
  author = {G. Barthe and T. Rezk and A. Saabas},
  title = {{Proof obligations preserving compilation}},
  year = 2005,
  crossref = {fast05},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Tamara.Rezk//publication/Barthe-Rezk-Saabas.pdf},
  pages = {112-126},
  topics = {team}
}

@inproceedings{andronick05,
  author = {June Andronick and Boutheina Chetali and Paulin-Mohring, Christine},
  title = {Formal Verification of Security Properties of Smart Card Embedded Source Code},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {FME},
  crossref = {fm05}
}

@inproceedings{conchon05jfla,
  author = {Sylvain Conchon and Jean-Christophe Filli\^atre and Julien Signoles},
  title = {Le foncteur sonne toujours deux fois},
  topics = {team, lri},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla05},
  pages = {79--94},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/jfla05.ps.gz}
}

@inproceedings{contejean05cade,
  author = {\'Evelyne Contejean and Pierre Corbineau},
  title = {Reflecting Proofs in First-Order Logic with Equality},
  type_publi = {icolcomlec},
  topics = {team},
  pages = {7--22},
  crossref = {cade05},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CADE},
  abstract = {http://www.lri.fr/~contejea/publis/2005cade/abstract.html},
  doi = {10.1007/11532231_2}
}

@inproceedings{corbineau05jfla,
  author = {Pierre Corbineau},
  title = {Skip lists et arbres binaires de recherche probabilistes},
  topics = {team,colcomlec},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla05},
  pages = {99--112}
}

@inproceedings{hubert05sefm,
  author = {Thierry Hubert and Claude March\'e},
  topics = {team},
  title = {A case study of {C} source code verification: the {Schorr-Waite} algorithm},
  crossref = {sefm05},
  type_publi = {icolcomlec},
  url = {http://www.lri.fr/~marche/hubert05sefm.ps},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {SEFM}
}

@inproceedings{mandel05ppdp,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML, a Reactive Extension to ML}},
  booktitle = {ACM International Conference
                  on Principles and Practice of Declarative Programming
                  (PPDP)},
  year = 2005,
  pages = {82--93},
  x-pdf = {http://www.lri.fr/~mandel/papers/MandelPouzet-PPDP-2005.pdf},
  url = {http://www.lri.fr/~mandel/papers/MandelPouzet-PPDP-2005.pdf},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {PPDP},
  address = {Lisboa},
  month = jul
}

@inproceedings{MandelBenbadis2005SLAP,
  author = {Louis Mandel and Farid Benbadis},
  title = {Simulation of Mobile Ad hoc Network Protocols in {ReactiveML}},
  booktitle = {Proceedings of Synchronous Languages, Applications, and Programming ({SLAP'05})},
  publisher = {Elsevier Science Publishers},
  year = 2005,
  month = apr,
  address = {Edinburgh, Scotland},
  x-pdf = {http://www.lri.fr/~mandel/papers/MandelBenbadis-SLAP-2005.pdf},
  url = {http://www.lri.fr/~mandel/papers/MandelBenbadis-SLAP-2005.pdf},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {ENTCS}
}

@inproceedings{MandelPouzet2005JFLA,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML}, un langage pour la programmation r{\'e}active en {ML}},
  crossref = {jfla05},
  pages = {1-16},
  url = {http://www.lri.fr/~mandel/papers/MandelPouzet-JFLA-2005.ps},
  topics = {team},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@inproceedings{marche05tphols,
  topics = {team},
  author = {Claude March\'e and Christine Paulin-Mohring},
  title = {Reasoning about {Java} Programs with Aliasing and Frame
  Conditions},
  crossref = {tphols2005},
  pages = {179--194},
  topics = {team,lri},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {TPHOLs},
  url = {http://www.lri.fr/~marche/marche05tphols.ps}
}

@inproceedings{oury05tphols,
  author = {Nicolas Oury},
  title = {Extensionality in the {Calculus of Constructions}},
  topics = {team,lri},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  pages = {278--293},
  x-cle-support = {TPHOLs},
  crossref = {tphols2005}
}

@inproceedings{signoles05jfla,
  author = {Julien Signoles},
  title = {Une approche fonctionnelle du mod\`ele vue-contr\^oleur},
  topics = {team, lri},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla05},
  pages = {63--78}
}

@inproceedings{bol05arith,
  author = {Sylvie Boldo and Jean-Michel Muller},
  title = {Some Functions Computable with a Fused-mac},
  year = 2005,
  address = {Cape Cod, USA},
  booktitle = {Proceedings of the 17th Symposium on Computer Arithmetic},
  url = {http://perso.ens-lyon.fr/jean-michel.muller/FmacArith.pdf},
  editor = {Montuschi, Paolo and Schwarz, Eric},
  pages = {52-58},
  topics = {team,lri},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {ARITH},
  type_publi = {icolcomlec}
}

@inproceedings{cohen05emsoft,
  crossref = {pouzet05emsoft}
}

@inproceedings{pouzet05emsoft,
  author = {Albert Cohen and Marc Duranton and Christine Eisenbeis
                  and Claire Pagetti and Florence Plateau and Marc Pouzet},
  title = {Synchronizing Periodic Clocks},
  booktitle = {ACM International Conference on
                  Embedded Software (EMSOFT'05)},
  address = {Jersey city, New Jersey, USA},
  month = sep,
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {EMSOFT},
  year = 2005
}

@inproceedings{colaco05emsoft,
  author = {Jean-Louis Cola\c{c}o and Bruno Pagano and Marc Pouzet},
  title = {{A Conservative Extension of Synchronous Data-flow with
                   State Machines}},
  booktitle = {ACM International Conference on
                  Embedded Software (EMSOFT'05)},
  address = {Jersey city, New Jersey, USA},
  month = sep,
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {EMSOFT},
  year = 2005
}

@proceedings{cade05,
  title = {20th International Conference on Automated Deduction},
  booktitle = {20th International Conference on Automated Deduction (CADE-20)},
  address = {Tallinn, Estonia},
  month = jul,
  year = 2005,
  editor = {Robert Nieuwenhuis},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 3632,
  publisher = {Springer},
  isbn = {3-540-28005-7}
}

@proceedings{tphols2005,
  title = {Theorem Proving in Higher Order Logics:
                           18th International Conference, TPHOLs 2005},
  booktitle = {18th International Conference on Theorem Proving in Higher Order Logics},
  editor = {J. Hurd and T. Melham},
  series = {Lecture Notes in Computer Science},
  year = 2005,
  volume = 3603,
  addresse = {Oxford, UK},
  month = aug,
  publisher = {Springer}
}

@proceedings{jfla05,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2005,
  booktitle = {Seizi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = mar,
  publisher = {INRIA}
}

@proceedings{sefm05,
  title = {Software Engineering and Formal Methods},
  year = 2005,
  booktitle = {3rd IEEE International Conference on Software Engineering
and Formal Methods (SEFM'05)},
  address = {Koblenz, Germany},
  editor = {Bernhard K. Aichernig and Bernhard Beckert},
  publisher = {{IEEE} Comp. Soc. Press},
  month = sep
}

@proceedings{fm05,
  editor = {John Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
  title = {Formal Methods},
  booktitle = {International Symposium of Formal Methods Europe (FM'05)},
  address = {Newcastle,UK},
  month = jul,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3582},
  year = 2005
}

@proceedings{fast05,
  booktitle = {Proceedings of FAST'05},
  year = 2005,
  editor = {R.~Gorrieri and F.~Martinelli and P.~Ryan and S.~Schneider},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {3866}
}