Joachim van den Berg

According to our database, Joachim van den Berg authored at least 9 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Bellcore attack in practice.

Andrey Sidorenko, Joachim van den Berg, Remko Foekema, Michiel Grashuis, Jaap de Vos

IACR Cryptol. ePrint Arch., 2012

2002

Specifying and Verifying a Decimal Representation in Java for Smart Cards.

Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A case study in class library verification: Java's vector class.

Marieke Huisman, Bart Jacobs, Joachim van den Berg

Int. J. Softw. Tools Technol. Transf., 2001

Formal specification of the JavaCard API in JML: the APDU class.

Erik Poll, Joachim van den Berg, Bart Jacobs

Comput. Networks, 2001

The LOOP Compiler for Java and JML.

Joachim van den Berg, Bart Jacobs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Formal Specification and Verification of JavaCard's Application Identifier Class.

Joachim van den Berg, Bart Jacobs, Erik Poll

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Specification of the JavaCard API in JML.

Erik Poll, Joachim van den Berg, Bart Jacobs

Proceedings of the Smart Card Research and Advanced Applications, 2000

1999

A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

Reasoning about Java Classes (Preliminary Report).

Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998