english version Toutes les publications de l'équipe
Technical reports en format BibTeX
[Bibliographie en clair]

reports.bib





@TECHREPORT{Gur-Hui-TR-07,
  author = {D. Gurov and M. Huisman},
  institution = {KTH Royal Institute of Technology, Stockholm},
  number = {TRITA-CSC-TCS 2007:3},
  title = {Reducing Behavioural to Structural Properties of Programs 
	         with Procedures},
  pdfurl = {http://www.csc.kth.se/~dilian/Papers/techrep-07-3.pdf},
  year = 2007,
  topics = {team},
  url = {http://www.nada.kth.se/~dilian/Papers/techrep-07-3.pdf}
}
@TECHREPORT{gdt06:jvm,
  author = {G. Barthe and D. Pichardie and T. Rezk},
  title = {Deriving an Information Flow Checker for the {JVM}},
  year = {2006},
  topics = {team},
  institution = {INRIA}
}
@TECHREPORT{gpt06:hal,
  author = {G. Barthe and P. D'Argenio and T. Rezk},
  title = {{Secure Information Flow by Self-Composition}},
  topics = {team},
  year = {2006},
  institution = {INRIA}
}
@TECHREPORT{BreunesseCHJ03,
  author = {C. Breunesse and N. Cata{\~n}o and M. Huisman and B. Jacobs},
  title = {{Formal Methods for Smart Cards: an experience report}},
  number = {NIII-R0316},
  institution = {NIII},
  year = {2003},
  url = {http://www.cs.kun.nl/research/reports/info/NIII-R0316.html},
  topics = {team}
}
@TECHREPORT{SprengerGH03,
  author = {C. Sprenger and D. Gurov and M. Huisman},
  title = {Simulation Logic, Applets and Compositional Verification},
  number = {RR-4890},
  institution = {INRIA},
  year = {2003},
  psurl = {ftp://ftp-sop.inria.fr/lemme/Marieke.Huisman/techreport.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}
}
@TECHREPORT{BGHKJ-5331,
  author = {F. Bellegarde and J. Groslambert and M. Huisman and O. Kouchnarenko and J. Julliand},
  title = {Verification of Liveness Properties with {JML}},
  institution = {INRIA},
  year = {2004},
  number = {RR-5331},
  topics = {team},
  psurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/liveness.ps.gz}
}
@TECHREPORT{GH-5330,
  author = {D. Gurov and M. Huisman},
  title = {Abstraction over Public Interfaces},
  institution = {INRIA},
  year = {2004},
  number = {RR-5330},
  topics = {team},
  psurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/interfaces_techreport.ps.gz}
}
@TECHREPORT{GurovHS06,
  author = {D. Gurov and M. Huisman and C. Sprenger},
  title = {Compositional Verification of Sequential Programs with Procedures},
  institution = {INRIA},
  year = {2006},
  topics = {team}
}

This file has been generated by bibtex2html 1.87.

on Tue, 02 Sep 2008 00:00:10 +0200