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
1892000
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
1571998
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
1332017
Deductive software verification: from pen-and-paper proofs to industrial tools
R Hähnle, M Huisman
Computing and Software Science: State of the Art and Perspectives, 345-373, 2019
1322019
Reasoning about classes in object-oriented languages: Logical models and tools
U Hensel, M Huisman, B Jacobs, H Tews
Programming Languages and Systems: 7th European Symposium on Programming …, 1998
1031998
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
922006
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
882014
Reasoning about Java programs in higher order logic using PVS and Isabelle
M Huisman
PhD thesis, Radboud University Nijmegen, 2001
88*2001
The association of fatigue, comorbidity burden, disease activity, disability and gross domestic product in patients with rheumatiod arthritis: Results from 34 countries …
KL Grøn, LM Ørnbjerg, ML Hetland, F Aslam, NA Khan, JWG Jacobs, ...
Clinical and experimental rheumatology 32 (6), 869-877, 2014
772014
Sprache und Denken
R Beyer, R Gerlach
VS Verlag für Sozialwissenschaften, 2011
772011
A type-theoretic memory model for verification of sequential Java programs
J van den Berg, M Huisman, B Jacobs, E Poll
Recent Trends in Algebraic Development Techniques: 14th International …, 2000
772000
Extending JML specifications with temporal logic
K Trentelman, M Huisman
International Conference on Algebraic Methodology and Software Technology …, 2002
732002
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 2001
722001
Permission-based separation logic for multithreaded Java programs
C Haack, M Huisman, C Hurlin, A Amighi
Logical Methods in Computer Science 11, 2015
71*2015
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, ...
Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007
712007
Formal specification and static checking of Gemplus’ electronic purse using ESC/Java
N Catano, M Huisman
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
702002
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
622005
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2002
622002
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, 332-352, 2001
612001
Specification and verification of GPGPU programs
S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
592014
The system can't perform the operation now. Try again later.
Articles 1–20