Harmen Kastenberg (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Harmen Kastenberg, Arend Rensink: Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247

6 Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink: Simulating Multigraph Transformations Using Simple Graphs. ECEASST 6: (2007)

5 Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201

4 Harmen Kastenberg, Arend Rensink: Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305

3 Ruben Smelik, Arend Rensink, Harmen Kastenberg: Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72

Selection of 5 from 7 records - Harmen Kastenberg has 6 coauthors

7		Harmen Kastenberg, Arend Rensink: Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247
6		Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink: Simulating Multigraph Transformations Using Simple Graphs. ECEASST 6: (2007)
5		Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201
4		Harmen Kastenberg, Arend Rensink: Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305
3		Ruben Smelik, Arend Rensink, Harmen Kastenberg: Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72