2002 |
9 | EE | Cees-Bart Breunesse,
Bart Jacobs,
Joachim van den Berg:
Specifying and Verifying a Decimal Representation in Java for Smart Cards.
AMAST 2002: 304-318 |
2001 |
8 | EE | Joachim van den Berg,
Bart Jacobs:
The LOOP Compiler for Java and JML.
TACAS 2001: 299-312 |
7 | EE | Erik Poll,
Joachim van den Berg,
Bart Jacobs:
Formal specification of the JavaCard API in JML: the APDU class.
Computer Networks 36(4): 407-421 (2001) |
6 | EE | Marieke Huisman,
Bart Jacobs,
Joachim van den Berg:
A case study in class library verification: Java's vector class.
STTT 3(3): 332-352 (2001) |
2000 |
5 | | Erik Poll,
Joachim van den Berg,
Bart Jacobs:
Specification of the JavaCard API in JML.
CARDIS 2000: 135-154 |
4 | EE | Joachim van den Berg,
Bart Jacobs,
Erik Poll:
Formal Specification and Verification of JavaCard's Application Identifier Class.
Java Card Workshop 2000: 137-150 |
1999 |
3 | | Marieke Huisman,
Bart Jacobs,
Joachim van den Berg:
A Case Study in Class Library Verification: Java's Vector Class.
ECOOP Workshops 1999: 109-110 |
2 | | Joachim van den Berg,
Marieke Huisman,
Bart Jacobs,
Erik Poll:
A Type-Theoretic Memory Model for Verification of Sequential Java Programs.
WADT 1999: 1-21 |
1998 |
1 | EE | Bart Jacobs,
Joachim van den Berg,
Marieke Huisman,
Martijn van Berkum:
Reasoning about Java Classes (Preliminary Report).
OOPSLA 1998: 329-340 |