Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2012 | 2008 | 2007 | 2006 | 2005
Number of items: 11.

2012

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

2008

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, Harmen (2008) Graph-based software specification and verification. thesis.

2007

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).

2006

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 Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. [Report]

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).

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

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).

2005

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

This list was generated on Wed Jul 23 05:29:34 2014 CEST.