Ronald Middelkoop

A new interpretation of invariants exploiting layers in OO designs

Ruurd Kuiper, Erik J. Luit, Ronald Middelkoop, 2007 .

Capturing and exploiting abstract views of states in OO verification

Ronald Middelkoop, R. Middelkoop, Ronald Middelkoop, 2011 .

Specification and Verification of Invariants by Exploiting Layers in OO Designs

Ruurd Kuiper, Erik J. Luit, Cornelis Huizing, 2008, Fundam. Informaticae.

Proving Consistency of Pure Methods and Model Fields

K. Rustan M. Leino, Ronald Middelkoop, 2009, FASE.

Cooperation-based Invariants for OO Languages

Ruurd Kuiper, Erik J. Luit, Cornelis Huizing, 2006, FACS.

A proof system for invariants in layered OO designs

Ruurd Kuiper, Erik J. Luit, Cornelis Huizing, 2008 .

Invariants for Non-Hierarchical Object Structures

Ruurd Kuiper, Erik J. Luit, Cornelis Huizing, 2006, SBMF.