Harmen Kastenberg

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Dense Subgraphs

Proximity Graph

Connected Dominating Set

Directed Acyclic

Top Venues

Graph Transformation, Specifications, and Nets

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Harmen Kastenberg, Arend Rensink
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets (2018)
Harmen Kastenberg, Arend Rensink
Dynamic Partial Order Reduction Using Probe Sets. CONCUR (2008)
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Harmen Kastenberg
Towards Attributed Graphs in Groove: Work in Progress. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS (2006)
Frank Hermann, Harmen Kastenberg, Tony Modica
Towards Translating Graph Transformation Approaches by Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
Harmen Kastenberg, Arend Rensink
Model Checking Dynamic States in GROOVE. SPIN (2006)
Ruben Smelik, Arend Rensink, Harmen Kastenberg
Specification and Construction of Control Flow Semantics. VL/HCC (2006)