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
