The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marieke Huisman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kerry Trentelman, Marieke Huisman
    Extending JML Specifications with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:334-348 [Conf]
  2. Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
    Enforcing High-Level Security Properties for Applets. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2004, pp:1-16 [Conf]
  3. Marieke Huisman, Kerry Trentelman
    Factorising Temporal Specifications. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:87-96 [Conf]
  4. Marieke Huisman, Pratik Worah, Kim Sunesen
    A Temporal Logic Characterisation of Observational Determinism. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:3- [Conf]
  5. Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
    Formal Techniques for Java-Like Programs (FTfJP). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2004, pp:76-83 [Conf]
  6. Marieke Huisman, Bart Jacobs, Joachim van den Berg
    A Case Study in Class Library Verification: Java's Vector Class. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:109-110 [Conf]
  7. Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
    Jakarta: A Toolset for Reasoning about JavaCard. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:2-18 [Conf]
  8. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
    Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:105-121 [Conf]
  9. Gilles Barthe, Dilian Gurov, Marieke Huisman
    Compositional Verification of Secure Applet Interactions. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:15-32 [Conf]
  10. Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
    Checking Absence of Illicit Applet Interactions: A Case Study. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:84-98 [Conf]
  11. Marieke Huisman, Bart Jacobs
    Java Program Verification via a Hoare Logic with Abrupt Termination. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:284-303 [Conf]
  12. Néstor Cataño, Marieke Huisman
    Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:272-289 [Conf]
  13. Christoph Sprenger, Dilian Gurov, Marieke Huisman
    Compositional verification for secure loading of smart card applets. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:211-222 [Conf]
  14. Marieke Huisman
    Verification of Java's AbstractCollection Class: A Case Study. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:175-194 [Conf]
  15. Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
    Reasoning about Java Classes (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:329-340 [Conf]
  16. Dilian Gurov, Marieke Huisman
    Interface Abstraction for Compositional Verificatio. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:414-424 [Conf]
  17. Marieke Huisman, Bart Jacobs
    Inheritance in Higher Order Logic: Modeling and Reasoning. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:301-319 [Conf]
  18. W. O. David Griffioen, Marieke Huisman
    A Comparison of PVS and Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:123-142 [Conf]
  19. Néstor Cataño, Marieke Huisman
    CHASE: A Static Checker for JML's Assignable Clause. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:26-40 [Conf]
  20. Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
    A Type-Theoretic Memory Model for Verification of Sequential Java Programs. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:1-21 [Conf]
  21. Marieke Huisman, Thomas P. Jensen
    Guest editors' introduction: Special issue on Formal Methods for Smart Cards. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:1-2 [Journal]
  22. Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
    Formal methods for smart cards: an experience report. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:53-80 [Journal]
  23. Marieke Huisman, Bart Jacobs, Joachim van den Berg
    A case study in class library verification: Java's vector class. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:3, pp:332-352 [Journal]
  24. Lilian Burdy, Marieke Huisman, Mariela Pavlova
    Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:215-229 [Conf]
  25. Marieke Huisman, Fausto Spoto
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:1- [Journal]

  26. Reasoning about Java's Reentrant Locks. [Citation Graph (, )][DBLP]


  27. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  28. A Formal Connection between Security Automata and JML Annotations. [Citation Graph (, )][DBLP]


  29. BML and Related Tools. [Citation Graph (, )][DBLP]


  30. JACK - A Tool for Validation of Security and Behaviour of Java Applications. [Citation Graph (, )][DBLP]


  31. Program Models for Compositional Verification. [Citation Graph (, )][DBLP]


  32. Reducing Behavioural to Structural Properties of Programs with Procedures. [Citation Graph (, )][DBLP]


Search in 0.032secs, Finished in 0.033secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002