Concepedia

Joachim van den Berg

JV

5

Publications

195

Citations

5

H-Index

1998

Active since

Affiliations

Radboud University Nijmegen(Current)

Joachim van den Berg is an author at Radboud University Nijmegen specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationVerificationSoftware DesignComputer ScienceSoftware AnalysisFormal SpecificationSoftware EngineeringEntropy

Publications per year

1998–2005

5

Publications

5

Reasoning about Java classes

Bart Jacobs, Joachim van den Berg, Marieke Huisman et al. · 1998 · 77 citations

Program Checking, Engineering, Verification +19

A case study in class library verification: Java’s vector class

Marieke Huisman, Bart Jacobs, Joachim van den Berg · International Journal on Software Tools for Technology Transfer · 2001 · 37 citations

Engineering, Vector Class, Polymorphism (Computer Science) +9

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

Erik Poll, Joachim van den Berg, Bart Jacobs · Computer Networks · 2001 · 30 citations · Full text

Javacard Api, Apdu Class, Formal Specification +4

A signal-recovery system: asymptotic properties, and construction of an infinite-volume process

Joachim van den Berg, Bálint Tóth · Stochastic Processes and their Applications · 2001 · 27 citations · Full text

Sampling (Signal Processing), Statistical Signal Processing, Engineering +9

Some conditional correlation inequalities for percolation and related processes

Joachim van den Berg, Olle Häggström, J. Kahn · Random Structures and Algorithms · 2005 · 24 citations · Full text

Open Cluster, Open Path, Engineering +11

Rows per page

1–5 of 5