dblp.uni-trier.dewww.uni-trier.de

Harmen Kastenberg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Iovka Boneva [6]
2Frank Hermann [2] [6]
3Anneke Kleppe [5]
4Tony Modica [2]
5Arend Rensink [3] [4] [5] [6] [7]
6Ruben Smelik [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)