tafat.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc tafat.cite -ob tafat.bib -c 'author : "tafat"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@mastersthesis{tafat09master,
  author = {Asma Tafat},
  title = {Invariants et raffinements en
pr\'esence de partage},
  school = {Universit\'e Paris 6},
  topics = {team},
  year = 2009,
  url = {http://www.lri.fr/~marche/tafat09master.pdf}
}

@techreport{tafat10rr,
  title = {A Refinement Approach for Correct-by-Construction Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  institution = {INRIA},
  number = 7310,
  year = 2010,
  x-equipes = {demons PROVAL EXT},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00491835/en/}
}

@inproceedings{tafat10foveoos,
  title = {A Refinement Methodology for Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  crossref = {foveoos10},
  x-equipes = {demons PROVAL EXT},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes_aux},
  x-type = {article},
  x-cle-support = {FOVEOOS},
  pages = {143--159},
  hal = {http://hal.inria.fr/inria-00534336},
  topics = {team}
}

@inproceedings{tafat11foveoos,
  title = {A Refinement Methodology for Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  x-equipes = {demons PROVAL EXT},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes},
  x-type = {article},
  x-cle-support = {FOVEOOS},
  topics = {team},
  pages = {153--167},
  hal = {http://hal.inria.fr/inria-00534336},
  crossref = {postfoveoos10}
}

@unpublished{tafat09sub,
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  title = {A Refinement Methodology for Object-Oriented Programs},
  institution = {INRIA ARC CeProMi},
  note = {Submitted},
  year = 2010,
  url = {http://www.lri.fr/cepromi/}
}

@techreport{tafat11rr,
  title = {Binary Heaps Formally Verified in {Why3}},
  author = {Tafat, Asma and March{\'e}, Claude},
  type = {Research Report},
  institution = {INRIA},
  number = 7780,
  year = 2011,
  month = oct,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  keywords = {Why3},
  hal = {http://hal.inria.fr/inria-00636083/en/},
  note = {\url{http://hal.inria.fr/inria-00636083/en/}}
}

@inproceedings{marche13jfla,
  author = {Claude March\'e and Asma Tafat},
  title = {Calcul de plus faible pr\'econdition, revisité en {Why3}},
  crossref = {jfla13},
  topics = {team},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  hal = {http://hal.inria.fr/hal-00778791}
}

@techreport{marche12rr,
  title = {Weakest Precondition Calculus, revisited using {Why3}},
  author = {Claude March\'e and Asma Tafat},
  type = {Research Report},
  institution = {INRIA},
  number = {RR-8185},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  year = 2012,
  month = dec,
  topics = {team},
  hal = {http://hal.inria.fr/hal-00766171},
  pdf = {http://hal.inria.fr/hal-00766171/PDF/RR-8185.pdf}
}

@phdthesis{tafat13phd,
  author = {Asma Tafat},
  title = {Preuves par raffinement de programmes avec pointeurs},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-00874679},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2013,
  month = sep
}

@proceedings{jfla13,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2013,
  booktitle = {Vingt-quatri\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = feb,
  address = {Aussois, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@proceedings{foveoos10,
  editor = {Bernhard Beckert and Claude March\'e},
  title = {Formal Verification of Object-Oriented Software, Papers Presented at the International Conference},
  booktitle = {Formal Verification of Object-Oriented Software, Papers Presented at the International Conference},
  address = {Paris, France},
  month = jun,
  series = {Karlsruhe Reports in Informatics},
  note = {\url{http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083}},
  year = 2010,
  hal = {http://hal.inria.fr/hal-00772519},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-pays = {DE}
}

@proceedings{postfoveoos10,
  editor = {Bernhard Beckert and Claude March\'e},
  title = {Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010},
  booktitle = {Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010},
  publisher = {Springer},
  topics = {team},
  series = {Lecture Notes in Computer Science},
  volume = 6528,
  month = jan,
  year = 2011,
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-equipes = {demons PROVAL ext},
  x-support = {actes},
  x-type = {edition},
  x-cle-support = {FOVEOOS},
  x-pays = {DE}
}