Harmen Kastenberg

According to our database, Harmen Kastenberg authored at least 9 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Graph Attribution Through Sub-Graphs.

Harmen Kastenberg, Arend Rensink

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2008

Graph-based software specification and verification.

Harmen Kastenberg

PhD thesis, 2008

Dynamic Partial Order Reduction Using Probe Sets.

Harmen Kastenberg, Arend Rensink

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Simulating Multigraph Transformations Using Simple Graphs.

Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

2006

Towards Translating Graph Transformation Approaches by Model Transformations.

Frank Hermann, Harmen Kastenberg, Tony Modica

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Specification and Construction of Control Flow Semantics.

Ruben Smelik, Arend Rensink, Harmen Kastenberg

Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Model Checking Dynamic States in GROOVE.

Harmen Kastenberg, Arend Rensink

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Defining Object-Oriented Execution Semantics Using Graph Transformations.

Harmen Kastenberg, Anneke Kleppe, Arend Rensink

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Towards Attributed Graphs in Groove: Work in Progress.

Harmen Kastenberg

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005