Electronic Communication of the European Association of Software Science and Technology, Volume 10

Volume 10: Graph Transformation and Visual Modeling Techniques 2008

• Claudia Ermel, Juan de Lara, Reiko Heckel:
  Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
  Electronic Edition (link) BibTeX

• Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
  From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
  Electronic Edition (link) BibTeX
• Anantha Narayanan, Gabor Karsai:
  Verifying Model Transformations by Structural Correspondence.
  Electronic Edition (link) BibTeX
• Erhard Weinell:
  Extending Graph Query Languages by Reduction.
  Electronic Edition (link) BibTeX
• Rahul Kumar, Eric G. Mercer:
  Improving Live Sequence Chart to Automata Transformation for Verification.
  Electronic Edition (link) BibTeX
• Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka:
  Composing control flow and formula rules for computing on grids.
  Electronic Edition (link) BibTeX
• Arend Rensink, Anneke Kleppe:
  On a Graph-Based Semantics for UML Class and Object Diagrams.
  Electronic Edition (link) BibTeX
• Benjamin Braatz, Christoph Brandt:
  Graph Transformations for the Resource Description Framework.
  Electronic Edition (link) BibTeX
• Davide Grohmann, Marino Miculan:
  Controlling resource access in Directed Bigraphs.
  Electronic Edition (link) BibTeX
• Abubakar Hassan, Ian Mackie, Shinya Sato:
  Interaction nets: programming language design and implementation.
  Electronic Edition (link) BibTeX
• Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
  Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
  Electronic Edition (link) BibTeX
• Florian Brieler, Mark Minas:
  Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
  Electronic Edition (link) BibTeX
• Sonja Maier, Mark Minas:
  A Static Layout Algorithm for DiaMeta.
  Electronic Edition (link) BibTeX
• Hans Vangheluwe:
  Foundations of Modelling and Simulation of Complex Systems.
  Electronic Edition (link) BibTeX
• Antonio Bucchiarone, Juan P. Galeotti:
  Dynamic Software Architectures Verification using DynAlloy.
  Electronic Edition (link) BibTeX
• Christian Koehler, David Costa, José Proença, Farhad Arbab:
  Reconfiguration of Reo Connectors Triggered by Dataflow.
  Electronic Edition (link) BibTeX
• Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
  Negative Application Conditions for Reconfigurable Place/Transition Systems.
  Electronic Edition (link) BibTeX
• Enrico Biermann, Tony Modica:
  Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets.
  Electronic Edition (link) BibTeX
• Greg Manning, Detlef Plump:
  The GP Programming System.
  Electronic Edition (link) BibTeX
• Karl Azab, Karl-Heinz Pennemann:
  Type Checking C++ Template Instantiation by Graph Programs.
  Electronic Edition (link) BibTeX
• Cong-Cong Xing:
  A Graph-Based Type Representation for Objects.
  Electronic Edition (link) BibTeX
• Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
  Using Graph Transformation Systems to Specify and Verify Data Abstractions.
  Electronic Edition (link) BibTeX
• Steffen Mazanek, Mark Minas:
  Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
  Electronic Edition (link) BibTeX
• Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le:
  Visual Design and Reasoning with the Use of Hypergraph Transformations.
  Electronic Edition (link) BibTeX
• Stefan Gruner:
  Graph Transformation Model of a Triangulated Network of Mobile Units.
  Electronic Edition (link) BibTeX