Marieke Huisman
Marieke Huisman
Onbekend partnerschap
Geverifieerd e-mailadres voor ewi.utwente.nl
Titel
Geciteerd door
Geciteerd door
Jaar
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
1511998
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
87*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
842006
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
761999
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
752014
Reasoning about Java Programs in higher order logic with PVS and Isabelle
M Huisman
Ipa dissertation series 3, 77, 2001
742001
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
712002
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
652005
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
632006
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
632003
Extending JML specifications with temporal logic
K Trentelman, M Huisman
International Conference on Algebraic Methodology and Software Technology …, 2002
622002
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
612014
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
A comparison of PVS and Isabelle/HOL
D Griffioen, M Huisman
International Conference on Theorem Proving in Higher Order Logics, 123-142, 1998
571998
Reasoning about Java’s reentrant locks
C Haack, M Huisman, C Hurlin
Asian Symposium on Programming Languages And Systems, 171-187, 2008
542008
Permission-based separation logic for multithreaded Java programs
A Amighi, C Hurlin, M Huisman, C Haack
Logical Methods in Computer Science 11, 2015
52*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
512017
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
492004
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20