lanet.bib

@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{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{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{JLL:hdr,
  title = {Produire des logiciels s\^urs},
  author = {J.-L. Lanet},
  year = {2004},
  school = {Universit\'e de Marseille},
  type = {Habilitation {\`a} Diriger des Recherches},
  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{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.