Follow
Marieke Huisman
Marieke Huisman
Unknown affiliation
Verified email at ewi.utwente.nl
Title
Cited by
Cited by
Year
Java program verification via a Hoare logic with abrupt termination
M Huisman, B Jacobs
International Conference on Fundamental Approaches to Software Engineering …, 2000
1822000
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
1541998
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
1011998
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
882006
Reasoning about Java programs in higher order logic using PVS and Isabelle
M Huisman
PhD thesis, Radboud University Nijmegen, 2001
87*2001
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
772014
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
771999
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
722002
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 77, 2001
722001
Extending JML specifications with temporal logic
K Trentelman, M Huisman
International Conference on Algebraic Methodology and Software Technology …, 2002
672002
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
652014
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
642006
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
642005
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
642003
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
612001
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
572017
A comparison of PVS and Isabelle/HOL
D Griffioen, M Huisman
International Conference on Theorem Proving in Higher Order Logics, 123-142, 1998
561998
Permission-based separation logic for multithreaded Java programs
A Amighi, C Hurlin, M Huisman, C Haack
Logical Methods in Computer Science 11, 2015
55*2015
Reasoning about Java’s reentrant locks
C Haack, M Huisman, C Hurlin
Asian Symposium on Programming Languages And Systems, 171-187, 2008
552008
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
512004
The system can't perform the operation now. Try again later.
Articles 1–20