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
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
Reasoning about Java programs in higher order logic using PVS and Isabelle
M Huisman
PhD thesis, Radboud University Nijmegen, 2001
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
A type-theoretic memory model for verification of sequential Java programs
J Berg, M Huisman, B Jacobs, E Poll
International Workshop on Algebraic Development Techniques, 1-21, 1999
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
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 77, 2001
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
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
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
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
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
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
A comparison of PVS and Isabelle/HOL
D Griffioen, M Huisman
International Conference on Theorem Proving in Higher Order Logics, 123-142, 1998
Permission-based separation logic for multithreaded Java programs
A Amighi, C Hurlin, M Huisman, C Haack
Logical Methods in Computer Science 11, 2015
Reasoning about Java’s reentrant locks
C Haack, M Huisman, C Hurlin
Asian Symposium on Programming Languages And Systems, 171-187, 2008
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