2008 |
7 | EE | Harmen Kastenberg,
Arend Rensink:
Dynamic Partial Order Reduction Using Probe Sets.
CONCUR 2008: 233-247 |
2007 |
6 | EE | Iovka Boneva,
Frank Hermann,
Harmen Kastenberg,
Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs.
ECEASST 6: (2007) |
2006 |
5 | EE | Harmen Kastenberg,
Anneke Kleppe,
Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations.
FMOODS 2006: 186-201 |
4 | EE | Harmen Kastenberg,
Arend Rensink:
Model Checking Dynamic States in GROOVE.
SPIN 2006: 299-305 |
3 | EE | Ruben Smelik,
Arend Rensink,
Harmen Kastenberg:
Specification and Construction of Control Flow Semantics.
VL/HCC 2006: 65-72 |
2 | EE | Frank Hermann,
Harmen Kastenberg,
Tony Modica:
Towards Translating Graph Transformation Approaches by Model Transformations.
ECEASST 4: (2006) |
1 | EE | Harmen Kastenberg:
Towards Attributed Graphs in Groove: Work in Progress.
Electr. Notes Theor. Comput. Sci. 154(2): 47-54 (2006) |