Volume 10:
Graph Transformation and Visual Modeling Techniques 2008
Articles
- Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.

- Anantha Narayanan, Gabor Karsai:
Verifying Model Transformations by Structural Correspondence.

- Erhard Weinell:
Extending Graph Query Languages by Reduction.

- Rahul Kumar, Eric G. Mercer:
Improving Live Sequence Chart to Automata Transformation for Verification.

- Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka:
Composing control flow and formula rules for computing on grids.

- Arend Rensink, Anneke Kleppe:
On a Graph-Based Semantics for UML Class and Object Diagrams.

- Benjamin Braatz, Christoph Brandt:
Graph Transformations for the Resource Description Framework.

- Davide Grohmann, Marino Miculan:
Controlling resource access in Directed Bigraphs.

- Abubakar Hassan, Ian Mackie, Shinya Sato:
Interaction nets: programming language design and implementation.

- Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.

- Florian Brieler, Mark Minas:
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.

- Sonja Maier, Mark Minas:
A Static Layout Algorithm for DiaMeta.

- Hans Vangheluwe:
Foundations of Modelling and Simulation of Complex Systems.

- Antonio Bucchiarone, Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy.

- Christian Koehler, David Costa, José Proença, Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow.

- Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.

- Enrico Biermann, Tony Modica:
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets.

- Greg Manning, Detlef Plump:
The GP Programming System.

- Karl Azab, Karl-Heinz Pennemann:
Type Checking C++ Template Instantiation by Graph Programs.

- Cong-Cong Xing:
A Graph-Based Type Representation for Objects.

- Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions.

- Steffen Mazanek, Mark Minas:
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.

- Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le:
Visual Design and Reasoning with the Use of Hypergraph Transformations.

- Stefan Gruner:
Graph Transformation Model of a Triangulated Network of Mobile Units.

Last update Fri May 24 20:17:04 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page