burdy.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}
}

@ARTICLE{jml:sttt,
  author = {L. Burdy and Y. Cheon and D.R. Cok and M.D. Ernst and J. Kiniry and
G.T. Leavens and K.R.M. Leino and E. Poll},
  title = {{An overview of JML tools and applications}},
  journal = {International Journal on Software Tools for Technology Transfer},
  year = {2005},
  topic = {team}
}

@INPROCEEDINGS{BRL-JACK,
  author = {L. Burdy and A. Requet and J.-L. Lanet},
  title = {Java Applet Correctness: A Developer-Oriented Approach},
  crossref = {fme03},
  pages = {422--439},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2003/BRL03fme.ps.gz},
  topics = {team}
}

@INPROCEEDINGS{Betal-JML_Overv,
  author = {L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. T. Leavens and K. R. M. Leino and E. Poll},
  title = {An overview of JML tools and applications},
  crossref = {fmics03},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2003/BCCEKLLP03fmics.ps.gz},
  topics = {team}
}

@INPROCEEDINGS{BR-B_control_fl,
  author = {L. Burdy and A. Requet},
  title = {Extending {B} with control flow breaks},
  pages = {513--527},
  crossref = {zb03},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2003/BR03zbex.ps.gz},
  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}
}

@ARTICLE{BCR-TSI,
  author = {L. Burdy and L. Casset and A. Requet},
  title = {D{\'e}veloppement d'un v{\'e}rifieur de byte-code embarqu{\'e}},
  journal = {Technique et Science Informatiques},
  volume = {22},
  number = {1},
  year = {2003},
  pages = {33--60},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2003/BCR03ver.ps.gz},
  topics = {team}
}

@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}
}

@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{fmics03,
  booktitle = {FMICS: Eighth International Workshop on Formal Methods for Industrial Critical Systems},
  title = {FMICS: Eighth International Workshop on Formal Methods for Industrial Critical Systems},
  editor = {T. Arts and W. Fokkink},
  volume = {80},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier Publishing},
  month = {June 5-7},
  year = {2003}
}

@PROCEEDINGS{zb03,
  booktitle = {ZB 2003: Formal Specification and Development in Z and B},
  title = {ZB 2003: Formal Specification and Development in Z and B},
  volume = {2651},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {D. Bert and J.P. Bowen and S. King and M. Wald\'en}
}

@PROCEEDINGS{fme03,
  booktitle = {FME 2003: Formal Methods: International Symposium of Formal Methods Europe},
  title = {FME 2003: Formal Methods: International Symposium of Formal Methods Europe},
  editor = {K. Araki and S. Gnesi and D. Mandrioli},
  volume = {2805},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  year = {2003}
}

This file has been generated by bibtex2html 1.87.