Towards Attributed Graphs in Groove: Work in Progress. - Harmen Kastenberg (GT-VC@CONCUR, 2005)

Defining Object-Oriented Execution Semantics Using Graph Transformations. - Harmen Kastenberg; Anneke Kleppe; Arend Rensink (FMOODS, 2006)

Model Checking Dynamic States in GROOVE. - Harmen Kastenberg; Arend Rensink (SPIN, 2006)

Specification and Construction of Control Flow Semantics. - Ruben Smelik; Arend Rensink; Harmen Kastenberg (VL/HCC, 2006)

Towards Translating Graph Transformation Approaches by Model Transformations. - Frank Hermann 001; Harmen Kastenberg; Tony Modica (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Simulating Multigraph Transformations Using Simple Graphs. - Iovka Boneva; Frank Hermann 001; Harmen Kastenberg; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Dynamic Partial Order Reduction Using Probe Sets. - Harmen Kastenberg; Arend Rensink (CONCUR, 2008)

Graph-based software specification and verification. - Harmen Kastenberg (2008)

Graph Attribution Through Sub-Graphs. - Harmen Kastenberg; Arend Rensink (Graph Transformation, Specifications, and Nets, 2018)