Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 11.

Article

Kastenberg, Harmen (2006) Towards Attributed Graphs in Groove. Electronic Notes in Theoretical Computer Science (ENTCS), 154 (2). pp. 47-54. ISSN 1571-0661

Conference or Workshop Item

Boneva, Iovka and Hermann, Frank and Kastenberg, Harmen and Rensink, Arend (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2007, 31 March - 1 April 2007, Braga, Portugal (pp. p. 42).

Hermann, F. and Kastenberg, H. and Modica, T. (2006) Towards Translating Graph Transformation Approaches by Model Transformations. In: Proceedings of the Second International Workshop on Graph and Model Transformation, 8 September 2006, Brighton, United Kingdom.

Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada (pp. pp. 233-247).

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy (pp. pp. 186-201).

Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria (pp. pp. 299-305).

Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K. (pp. pp. 65-72).

Report

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. [Report]

Kastenberg, Harmen (2005) Towards Attributed Graphs in Groove. [Report]

Kastenberg, Harmen and Rensink, Arend (2012) Graph attribution through sub-graphs. [Report]

Thesis

Kastenberg, Harmen (2008) Graph-based software specification and verification. thesis.

This list was generated on Sat Oct 25 05:26:31 2014 CEST.