pavlova.bib

@INPROCEEDINGS{BurdyHP07,
  author = {Lilian Burdy and Marieke Huisman and Mariela Pavlova},
  title = {Preliminary Design of {BML}: A Behavioral Interface Specification
Language for {Java} bytecode},
  booktitle = {Fundamental Approaches to Software Engineering (FASE 2007)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 4422,
  pages = {215-229},
  year = 2007,
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/bml.pdf},
  topics = {team}
}

@INPROCEEDINGS{BBCGHLPR07:FMCO,
  author = {G. Barthe and L. Burdy and J. Charles and B. Gr{\'e}goire and M. Huisman and J.-L. Lanet and M. Pavlova and A. Requet},
  title = {{JACK}:  a tool for validation of security and behaviour of {Java} applications},
  booktitle = {FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  year = {2007},
  note = {To appear},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fmco06.pdf},
  topics = {team}
}

@INPROCEEDINGS{BP06JSV,
  author = {L. Burdy and M. Pavlova},
  title = {Java Bytecode Specification and Verification},
  booktitle = {proceedings of SAC'06},
  year = 2006,
  publisher = {ACM},
  series = {},
  editor = {L.M. Liebrock},
  topics = {team},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Mariela.Pavlova/bcSpecVerify.pdf}
}

@INPROCEEDINGS{gmg05:sefm,
  author = {G. Barthe and M. Pavlova and G. Schneider},
  title = {{Precise analysis of memory consumption using program logics}},
  crossref = {sefm05},
  pages = {86--95},
  pdfurl = {ftp://ftp-sop.inria.fr/lemme/personnel/Gilles.Barthe/sefm2005.pdf},
  topics = {team}
}

@INPROCEEDINGS{m+04:cardis,
  author = {M. Pavlova and G. Barthe and L. Burdy and M. Huisman and J.-L. Lanet},
  title = {Enforcing High-Level Security Properties For Applets},
  crossref = {cardis04},
  pages = {},
  topics = {team},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/publis/P+04cardis.pdf}
}

@PHDTHESIS{Pavlova:phd,
  title = {Specification and verification of Java bytecode},
  author = {M. Pavlova},
  year = {2007},
  school = {Universit\'e de Nice Sophia-Antipolis},
  topics = {team}
}

@MASTERSTHESIS{Pav03,
  author = {M. Pavlova},
  title = {Automatic generation of JML specification  for Java Card applications},
  school = {Universit\'e Paris VII - Denis Diderot},
  year = {2003},
  type = {Rapport de DEA},
  topics = {team},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Mariela.Pavlova/Rapport.pdf}
}

@TECHREPORT{mariela+03,
  author = {M. Pavlova and G. Barthe and L. Burdy and M. Huisman and J.-L. Lanet},
  title = {Enforcing High-Level Security Properties For Applets},
  number = {RR-5061},
  institution = {INRIA},
  year = {2003},
  url = {http://www-sop.inria.fr/rapports/sophia/RR-5061.html},
  topics = {team}
}

@INPROCEEDINGS{DBLP:conf/cardis/CourbotPGV06,
  author = {A. Courbot and
               M. Pavlova and
               G. Grimaud and
               J.J. Vandewalle},
  title = {A Low-Footprint {Java}-to-Native Compilation Scheme Using
               Formal Methods.},
  booktitle = {proceedings of CARDIS},
  year = {2006},
  pages = {329-344},
  ee = {http://dx.doi.org/10.1007/11733447_24},
  crossref = {DBLP:conf/cardis/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  topics = {team}
}

@PROCEEDINGS{sefm05,
  title = {Software Engineering and Formal Methods (SEFM'05)},
  booktitle = {Proceedings of SEFM'05},
  editor = {B. Aichernig and B. Beckert},
  publisher = {IEEE Computer Society},
  month = {September},
  address = {Koblenz, Germany},
  year = 2005
}

@PROCEEDINGS{cardis04,
  editor = {P. Paradinas and J.-J. Quisquater},
  booktitle = {{Proceedings of CARDIS'04}},
  title = {{Proceedings of CARDIS'04}},
  publisher = {Kluwer Academic Publishers},
  year = {2004},
  address = {Toulouse, France},
  month = {August}
}

@PROCEEDINGS{DBLP:conf/cardis/2006,
  editor = {J. Domingo-Ferrer and
               J. Posegga and
               D. Schreckling},
  title = {Smart Card Research and Advanced Applications, 7th IFIP
               WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona,
               Spain, April 19-21, 2006, Proceedings},
  booktitle = {CARDIS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3928},
  year = {2006},
  isbn = {3-540-33311-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file has been generated by bibtex2html 1.87.