Marieke Huisman
Marieke Huisman
Unknown affiliation
Verified email at
Cited by
Cited by
Java program verification via a Hoare logic with abrupt termination
M Huisman, B Jacobs
International Conference on Fundamental Approaches to Software Engineering …, 2000
Reasoning about Java classes: preliminary report
B Jacobs, J Van Den Berg, M Huisman, M van Berkum, U Hensel, H Tews
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998
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
Reasoning about Java programs in higher order logic using PVS and Isabelle
M Huisman
PhD thesis, Radboud University Nijmegen, 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
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
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 77, 2001
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
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
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
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
Extending JML specifications with temporal logic
K Trentelman, M Huisman
International Conference on Algebraic Methodology and Software Technology …, 2002
The association of fatigue, comorbidity burden, disease activity, disability and gross domestic product in patients with rheumatoid arthritis. Results from 34 countries …
KL Gron, LM Ornbjerg, ML Hetland, F Aslam, NA Khan, JW Jacobs
Clin Exp Rheumatol 32 (6), 869-77, 2014
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
A comparison of PVS and Isabelle/HOL
D Griffioen, M Huisman
International Conference on Theorem Proving in Higher Order Logics, 123-142, 1998
Reasoning about Java’s reentrant locks
C Haack, M Huisman, C Hurlin
Asian Symposium on Programming Languages And Systems, 171-187, 2008
Permission-based separation logic for multithreaded Java programs
A Amighi, C Hurlin, M Huisman, C Haack
Logical Methods in Computer Science 11, 2015
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
International Conference on Integrated Formal Methods, 102-110, 2017
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
The system can't perform the operation now. Try again later.
Articles 1–20