complete-phd.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc complete-phd.cite -ob complete-phd.bib -c 'topics : "team" and $type="phdthesis" and year>=2004' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}
@phdthesis{chrzaszcz04phd,
  author = {Jacek Chrz\k{}aszcz},
  title = {Modules in Type Theory with Generative Definitions},
  school = {Warsaw University, Poland and Universit\'e de Paris-Sud},
  year = 2004,
  month = jan,
  type_publi = {these},
  topics = {team}
}
@phdthesis{letouzey2004phd,
  author = {Pierre Letouzey},
  title = {Programmation fonctionnelle certifi{\'e}e: l'extraction de programmes dans l'assistant {Coq}},
  school = {Universit{\'e} Paris-Sud},
  year = 2004,
  month = jul,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  url = {http://www.lri.fr/~letouzey/download/these_letouzey.ps.gz}
}
@phdthesis{andronick06these,
  author = {June Andronick},
  title = {Mod\'elisation et v\'erification formelles de syst\`emes embarqu\'es dans les cartes \`a microprocessur. Plateforme Java Card et Syst\`eme d'exploitation},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  type = {Th{\`e}se de Doctorat},
  month = mar,
  topics = {team},
  type_publi = {these},
  x-pdf = {http://jandronick.free.fr/publi/these_june_andronick.pdf},
  url = {http://jandronick.free.fr/publi/these_june_andronick.pdf},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{corbineau05these,
  author = {Pierre Corbineau},
  title = {D\'emonstration Automatique en Th\'eorie des Types},
  school = {Universit{\'e} Paris-Sud},
  year = 2005,
  type = {Th{\`e}se de Doctorat},
  month = sep,
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{Mandel2006phd,
  author = {Louis Mandel},
  title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
  school = {Universit{\'e} Paris 6},
  year = {2006},
  x-pdf = {http://www.lri.fr/~mandel/papers/Mandel-These.pdf},
  url = {http://www.lri.fr/~mandel/papers/Mandel-These.pdf},
  topics = {team},
  type_digiteo = {no},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{marche05hdr,
  author = {Claude March{\'e}},
  title = {Preuves m{\'e}canis{\'e}es de Propri{\'e}t{\'e}s de Programmes},
  year = {2005},
  month = dec,
  type = {Th\`{e}se d'habilitation},
  school = {Universit{\'e} Paris 11},
  type_publi = {these},
  pdf = {http://www.lri.fr/~marche/marche05hdr.pdf},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team, proval}
}
@phdthesis{oury06these,
  author = {Nicolas Oury},
  title = {{\'E}galit{\'e}s et filtrages avec types d{\'e}pendants dans le Calcul des Constructions Inductives},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  month = sep,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{rotaru02phd,
  author = {Mihai Rotaru},
  title = {Sur une th\'eorie unificatrice des mod\`eles de concurrence},
  school = {Cluj University, Romania and Universit\'e de Paris-Sud},
  year = 2004,
  month = jan,
  type_publi = {these},
  topics = {team}
}
@phdthesis{signoles06these,
  author = {Julien Signoles},
  title = {Extension de {ML} avec raffinement : syntaxe, s\'emantiques et syst\`eme de types},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  month = jul,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{hubert2008these,
  author = {Thierry Hubert},
  title = {Analyse Statique et preuve de Programmes Industriels Critiques},
  school = {Universit{\'e} Paris-Sud},
  year = 2008,
  type = {Th{\`e}se de Doctorat},
  month = jun,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport},
  url = {http://www.lri.fr/~marche/hubert08these.pdf}
}
@phdthesis{rousset2008these,
  author = {Nicolas Rousset},
  title = {Automatisation de la Sp\'ecification et de la V\'erification d'applications Java Card},
  school = {Universit{\'e} Paris-Sud},
  year = 2008,
  type = {Th{\`e}se de Doctorat},
  month = jun,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport},
  url = {http://www.lri.fr/~marche/rousset2008these.pdf}
}
@phdthesis{moy09phd,
  author = {Yannick Moy},
  title = {Automatic Modular Static Safety Checking for C Programs},
  school = {Universit{\'e} Paris-Sud},
  year = 2009,
  month = jan,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport},
  url = {http://www.lri.fr/~marche/moy09phd.pdf}
}
@phdthesis{sozeau08these,
  author = {Matthieu Sozeau},
  title = {Un environnement pour la programmation avec types d\'ependants},
  school = {Universit{\'e} Paris-Sud},
  year = 2008,
  type = {Th{\`e}se de Doctorat},
  month = dec,
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}
@phdthesis{plateau10these,
  author = {Florence Plateau},
  title = {Mod{\`e}le n-synchrone pour la programmation de r{\'e}seaux de {Kahn} {\`a} m{\'e}moire born{\'e}e},
  school = {Universit{\'e} Paris-Sud},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  type = {Th{\`e}se de Doctorat},
  year = 2010
}
@phdthesis{urbain10hdr,
  author = {Xavier Urbain},
  title = {Preuve automatique : techniques, outils et certification},
  year = {2010},
  month = nov,
  type = {Th\`{e}se d'habilitation},
  school = {Universit{\'e} Paris-Sud 11},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team, proval}
}
@phdthesis{kanig10these,
  author = {Johannes Kanig},
  title = {Sp\'ecification et preuve de programmes d'ordre sup\'erieur},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2010
}
@phdthesis{lescuyer11these,
  author = {St{\'e}phane Lescuyer},
  title = {Formalisation et d\'eveloppement d'une tactique r\'eflexive pour la
d\'emonstration automatique en {Coq}},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  url = {http://proval.lri.fr/publications/lescuyer11these.pdf},
  topics = {team},
  year = 2011,
  month = jan
}
@phdthesis{bardou11phd,
  author = {Romain Bardou},
  title = {Verification of Pointer Programs Using Regions and Permissions},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  url = {http://proval.lri.fr/publications/bardou11phd.pdf},
  note = {\url{http://proval.lri.fr/publications/bardou11phd.pdf}},
  topics = {team},
  year = 2011,
  month = oct
}
@phdthesis{bobot11these,
  author = {Fran\c{c}ois Bobot},
  title = {Logique de s\'eparation et v\'erification d\'eductive},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-tel = {http://tel.archives-ouvertes.fr/docs/00/65/25/08/PDF/VD_BOBOT_FRANCOIS_12122011.pdf},
  url = {http://proval.lri.fr/publications/bobot11these.pdf},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2011,
  month = dec
}
@phdthesis{filliatre11hdr,
  author = {Jean-Christophe Filli\^atre},
  title = {Deductive Program Verification },
  year = 2011,
  month = dec,
  type = {Th\`{e}se d'habilitation},
  school = {Universit{\'e} Paris-Sud},
  type_publi = {these},
  pdf = {http://www.lri.fr/~filliatr/hdr/memoire.pdf},
  note = {\url{http://www.lri.fr/~filliatr/hdr/memoire.pdf}},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team, proval}
}
@phdthesis{nguyen12phd,
  author = {Nguyen, Thi Minh Tuyen},
  title = {Taking architecture and compiler into account
in formal proofs of numerical programs},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  url = {http://proval.lri.fr/publications/tuyennguyen12phd.pdf},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2012,
  month = jun
}