Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Joachim van den Berg
2010 – today
- 2012
[i1]Andrey Sidorenko, Joachim van den Berg, Remko Foekema, Michiel Grashuis, Jaap de Vos: Bellcore attack in practice. IACR Cryptology ePrint Archive 2012: 553 (2012)
2000 – 2009
- 2002
- [c7]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
- [j2]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)
- [j1]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)
- [c6]
- 2000
- [c5]Erik Poll, Joachim van den Berg, Bart Jacobs: Specification of the JavaCard API in JML. CARDIS 2000: 135-154
- [c4]Joachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150
1990 – 1999
- 1999
- [c3]Marieke Huisman, Bart Jacobs, Joachim van den Berg: A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110
- [c2]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
- [c1]Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-09 14:38 CET by the dblp team