Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

Joachim van den Berg

dblp:68/308 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
0since 2021 · last 2001
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 first-authorComputer networks · 1Security and privacy · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program verification · 91% Programming languages and type systems · 9%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › code-level verification
object-oriented verification		 0.011998
Reasoning about Java Classes (Preliminary Report) · OOPSLA 1998
Program verification
proof assistants		 0.011998
Reasoning about Java Classes (Preliminary Report) · OOPSLA 1998
Program verification
theorem proving		 0.011998
Reasoning about Java Classes (Preliminary Report) · OOPSLA 1998
Programming languages and type systems › object-oriented programming
java		 0.011998
Reasoning about Java Classes (Preliminary Report) · OOPSLA 1998

Methods — techniques the papers use, named apart from their topics

theorem proving · 0.0higher-order logic · 0.0
YearPublicationVenuePosition
2001 The LOOP Compiler for Java and JML
Joachim van den Berg, Bart Jacobs 0001
 TACAS1
2001 Formal specification of the JavaCard API in JML: the APDU class
Erik Poll, Joachim van den Berg, Bart Jacobs 0001
 Comput. Networks2
2001 A case study in class library verification: Java's vector class
Marieke Huisman, Bart Jacobs 0001, Joachim van den Berg
 Int. J. Softw. Tools Technol. Transf.3
2000 Specification of the JavaCard API in JML
Erik Poll, Joachim van den Berg, Bart Jacobs 0001
 CARDIS2
1998 Reasoning about Java Classes (Preliminary Report)
abstract
We present the first results of a project called LOOP, on formal methods for the object-oriented language Java. It aims at verification of program properties, with support of modern tools. We use our own front-end tool (which is still partly under construction) for translating Java classes into higher order logic, and a back-end theorem prover (namely PVS, developed at SRI) for reasoning. In several examples we demonstrate how non-trivial properties of Java programs and classes can be proven following this two-step approach.
Bart Jacobs 0001, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
 OOPSLA2