BibTeX entries

@InProceedings{warnierBrazierApistolaOskamp:2007b,
  author = 	 {Warnier, Martijn and Brazier, Frances and Apistola,
                  Martin and Oskamp, Anja},
  title = 	 {Towards Automatic Identification of Completeness and
                  Consistency in Digital Dossiers},
  booktitle =    {Proceedings of the Eleventh International Conference
                  on Artificial Intelligence and Law (ICAIL'07)},
  year = 	 {2007},
  publisher =    {ACM Press}
}
@InProceedings{boonkBrazierDeGrootVanStekelenburgOskampWarnier:2007,
  author = 	 {Boonk, Martine and Brazier, Frances and de Groot,
                  David and van Stekelenburg, Maarten and Oskamp, Anja
                  and Warnier, Martijn},
  title = 	 {Conditions for Access and Use of Legal Document
                  Retrieval Web Services},
  booktitle =    {Proceedings of the Eleventh International
                  Conference on Artificial Intelligence and Law
                  (ICAIL'07)},
  year = 	 {2007},
  publisher =    {ACM Press},
}
@InProceedings{warnierOeyTimmerBrazier:2007, 
  author = {Warnier, Martijn and Oey, Michel and 
           Timmer, Reinier and Brazier, Frances},
  title = {Secure Migration of Mobile Agents based on Distributed
           Trust}, 
  booktitle = {Proceedings of the Tenth International Workshop
           on Trust in Agent Societies}, 
  year = {2007}
}
@InProceedings{warnierBrazierApistolaOskamp:2007a,
  author = {Warnier, Martijn and Brazier, Frances and 
           Apistola, Martin and Oskamp, Anja},
  title =  {Secure Distributed Dossier Management in the Legal Domain},
  booktitle = {Proceedings of the 2nd International Workshop on 
               "Dependability and Security in e-Government" (DeSeGov'07), 
               part of the Proceedings of the 2nd International 
               Conference on 
               "Availability, Reliability and Security "
               (ARES 2007)},
  publisher = {IEEE},
  pages = {941--947},
  year = {2007}
}
@misc{warnierApistolaBrazierOskamp:2007c,
  title = "{Distributed Digital Dossier: Completeness, Consistency and Security}",
  author = "Warnier, Martijn and Apistola, Martin and Brazier, Frances
    and Oskamp, Anja",
  note = "{Poster presented at the TOKEN'07 symposium, Amsterdam, the
    Netherlands}",
  year = 2007
}
@PhDThesis{Warnier:2006,
  author = "Warnier, Martijn",
  title = "{Language Based Security for Java and JML}",
  school = "Radboud University",
  address = "Nijmegen, The Netherlands",
  year = "2006"
}
@InProceedings{WarnierDeGrootBrazier06,
  title = "{Organized Anonymity in Agent Systems}",
  author = "Warnier, Martijn and de Groot, David and 
   Brazier, Frances",
  booktitle = "{Informal Proceedings of the Fourth 
    European Workshop on Multi-Agent Systems (EUMAS'06)}",
  year = "2006"
}
@misc{WarnierApistolaDeGrootBrazierOskamp06,
  title = "{Agents in Court}",
  author = "Warnier, Martijn and Apistola, Martin and de Groot, David
    and Brazier, Frances and Oskamp, Anja",
  note = "{Poster presented at the 5th System Administration and
    Network Engineering Conference (SANE 2006), Delft, the Netherlands,
    2006 }", 
  year = 2006 }
@misc{ApistolaWarnierBrazierOskamp06,
  title = "{Secure ACCESS to the Digital Dossier}",
  author = "Apistola, Martin and Warnier, Martijn and Brazier, Frances
    and Oskamp, Anja",
  note = "{Poster presented at the TOKEN'06 symposium, Leiden, the
    Netherlands}",
  year = 2006
}
@techreport{WarnierOostdijk05,
  title = "{Non-interference in JML}",
  author = "Warnier, Martijn and Oostdijk, Martijn",
  institution = "{Nijmegen Institute for Computing and Information
    Sciences}",
  number = "{ICIS-R05034}",
  year = 2005
}
@InProceedings{BartheRezkWarnier05,
  title = "{Preventing Timing Leaks Through Transactional Branching
    Instructions}",
  author = "Barthe, Gilles and Rezk, Tamara and Warnier, Martijn",
  booktitle = "{Proceedings of the Third Workshop on Quantitive
    Aspects of Programming Languages (QAPL 2005)}",
  year = "2006"
  pages = "33--55",
  volume = "153",
  number = "2",
  series = "{ENTCS}",
  publisher = "{Elsevier Science}",
}
@InProceedings{JacobsPietersWarnier05,
  title = "{Statically checking confidentiality via dynamic labels}",
  author = "Jacobs, Bart and Pieters, Wolter and Warnier, Martijn",
  booktitle = "{WITS '05: Proceedings of the 2005 workshop on Issues
    in the theory of security}",
  year = "2005"
  pages = "50--56",
  publisher = "ACM Press",
  address = "New York, NY, USA"
}
@article{JacobsOostdijkWarnier04,
  title = "{Source Code Verification of a Secure Payment Applet}",
  author = "Jacobs, Bart and Oostdijk, Martijn and Warnier, Martijn",
  journal = "{Journal of Logic and Algebraic Programming}",
  copyright = "{Elsevier Science}",
  volume = 58,
  number = {1-2},
  pages = "107--120",
  year = "2004"
}
@techreport{OostdijkWarnier03,
  title = "{On the combination of Java Card Remote Method Invocation
    and JML}",
  author = "Oostdijk, Martijn and Warnier, Martijn",
  institution = "{Nijmegen Institute for Computer and Information
    Sciences}",
  number = "{NIII-R0321}",
  year = 2003
}
@inproceedings{JacobsKiniryWarnier03,
  title = "{Java Program Verification Challenges}",
  author = "Jacobs, Bart and Kiniry, Joseph and Warnier, Martijn",
  booktitle = "{Formal Methods for Components and Objects}",
  editor = "de Boer, Frank S. and Bonsangue, Marcello M. and Graf,
    Susanne and de Roever, Willem-Paul",
  publisher = "Springer, Berlin", 
  series =  LNCS, 
  volume =  2852,
  pages = "202--219",
  year = "2003"
}
@inproceedings{HughesWarnier03,
  title = "{The Coinductive Approach to Verifying Cryptographic
    Protocols}",
  author = "Hughes, Jesse and Warnier, Martijn",
  booktitle = "{Recent Trends in Algebraic Development Techniques}",
  editor = "Wirsing, Martin and Pattinson, Dirk and Hennicker, Rolf",
  publisher = "Springer, Berlin",
  series =  LNCS,
  volume =  2755,
  pages = "268--283",
  year = "2003"
}
@mastersthesis{Warnier02
  author = "Martijn Warnier",
  title = "{Specification and verification of sequential Java
    programs}",
  school = {University of Utrecht},
  month = jan,
  year = 2002
}



Martijn Warnier
Last modified: Tue Jun 19 11:01:26 CEST 2007