 | 2008 |
|---|
| 7 |       | Harmen Kastenberg,
Arend Rensink:
Dynamic Partial Order Reduction Using Probe Sets.
CONCUR 2008: 233-247 |
| 2007 |
|---|
| 6 | | Iovka Boneva,
Frank Hermann,
Harmen Kastenberg,
Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs.
ECEASST 6: (2007) |
| 2006 |
|---|
| 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 |
| 2 | | Frank Hermann,
Harmen Kastenberg,
Tony Modica:
Towards Translating Graph Transformation Approaches by Model Transformations.
ECEASST 4: (2006) |
| 1 | | Harmen Kastenberg:
Towards Attributed Graphs in Groove: Work in Progress.
Electr. Notes Theor. Comput. Sci. 154(2): 47-54 (2006) |
