Marieke Huisman
Marieke Huisman
Unknown affiliation
Verified email at ewi.utwente.nl
TitleCited byYear
Java program verification via a Hoare logic with abrupt termination
M Huisman, B Jacobs
International Conference on Fundamental Approaches to Software Engineering …, 2000
1672000
Reasoning about Java classes: preliminary report
B Jacobs, J Van Den Berg, M Huisman, M van Berkum, U Hensel, H Tews
ACM SIGPLAN Notices 33 (10), 329-340, 1998
1561998
Reasoning about classes in object-oriented languages: Logical models and tools
U Hensel, M Huisman, B Jacobs, H Tews
European Symposium on Programming, 105-121, 1998
1021998
Reasoning about Java programs in higher order logic using PVS and Isabelle
M Huisman
PhD thesis, Radboud University Nijmegen, 2001
81*2001
A temporal logic characterisation of observational determinism
M Huisman, P Worah, K Sunesen
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-3, 2006
742006
A type-theoretic memory model for verification of sequential Java programs
J van den Berg, M Huisman, B Jacobs, E Poll
International Workshop on Algebraic Development Techniques, 1-21, 1999
731999
Formal specification and static checking of Gemplus’ electronic purse using ESC/Java
N Catano, M Huisman
International Symposium of Formal Methods Europe, 272-289, 2002
682002
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 77, 2001
682001
JACK—a tool for validation of security and behaviour of Java applications
G Barthe, L Burdy, J Charles, B Grégoire, M Huisman, JL Lanet, ...
International Symposium on Formal Methods for Components and Objects, 152-174, 2006
612006
Extending JML specifications with temporal logic
K Trentelman, M Huisman
International Conference on Algebraic Methodology and Software Technology …, 2002
612002
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
602003
Formal methods for smart cards: an experience report
CB Breunesse, N Catano, M Huisman, B Jacobs
Science of Computer Programming 55 (1-3), 53-80, 2005
592005
A case study in class library verification: Java’s Vector class
M Huisman, B Jacobs, J van den Berg
International Journal on Software Tools for Technology Transfer 3 (3), 332-352, 2001
582001
A comparison of PVS and Isabelle/HOL
D Griffioen, M Huisman
International Conference on Theorem Proving in Higher Order Logics, 123-142, 1998
531998
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
522014
Reasoning about Java’s reentrant locks
C Haack, M Huisman, C Hurlin
Asian Symposium on Programming Languages And Systems, 171-187, 2008
462008
Enforcing high-level security properties for applets
M Pavlova, G Barthe, L Burdy, M Huisman, JL Lanet
Smart Card Research and Advanced Applications VI, 1-16, 2004
452004
Preliminary design of BML: A behavioral interface specification language for Java bytecode
L Burdy, M Huisman, M Pavlova
International Conference on Fundamental Approaches to Software Engineering …, 2007
422007
Permission-based separation logic for multithreaded Java programs
C Haack, M Huisman, C Hurlin, A Amighi
arXiv preprint arXiv:1411.0851, 2014
392014
Checking absence of illicit applet interactions: a case study
M Huisman, D Gurov, C Sprenger, G Chugunov
International Conference on Fundamental Approaches to Software Engineering …, 2004
362004
The system can't perform the operation now. Try again later.
Articles 1–20