Abstract is missing.
- A Graph-Based Design Framework for ServicesAntónia Lopes, José Luiz Fiadeiro. 1-19 [doi]
- Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling EcosystemsDavide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio. 20-37 [doi]
- Completeness-Driven DevelopmentRolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille. 38-50 [doi]
- Exploiting Over- and Under-Approximations for Infinite-State Counterpart ModelsFabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 51-65 [doi]
- Pattern-Based Graph AbstractionArend Rensink, Eduardo Zambon. 66-80 [doi]
- Well-Structured Graph Transformation Systems with Negative Application ConditionsBarbara König, Jan Stückrath. 81-95 [doi]
- Parallelism and Concurrency of Stochastic Graph TransformationsReiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001. 96-110 [doi]
- Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph TransformationMichael Löwe. 111-125 [doi]
- Borrowed Contexts for Attributed GraphsFernando Orejas, Artur Boronat, Nikos Mylonakis. 126-140 [doi]
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target ElementsUlrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese. 141-155 [doi]
- Graph Transformation with Focus on Incident EdgesDominique Duval, Rachid Echahed, Frédéric Prost. 156-171 [doi]
- Rational Term Rewriting Revisited: Decidability and ConfluenceTakahito Aoto, Jeroen Ketema. 172-186 [doi]
- A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation SystemsUlrike Golas. 187-202 [doi]
- DPO Transformation with Open MapsReiko Heckel. 203-217 [doi]
- $\mathcal M, \mathcal N$ -Adhesive Transformation SystemsAnnegret Habel, Detlef Plump. 218-233 [doi]
- Generalised Compositionality in Graph TransformationAmir Hossein Ghamarian, Arend Rensink. 234-248 [doi]
- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant CheckingHolger Giese, Leen Lambers. 249-263 [doi]
- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant CheckingChristoph Blume, Harrie Jan Sander Bruggink, Dominik Engelke, Barbara König. 264-278 [doi]
- Testing against Visual Contracts: Model-Based CoverageTamim Ahmed Khan, Olga Runge, Reiko Heckel. 279-293 [doi]
- A Truly Concurrent Semantics for the K Framework Based on Graph TransformationsTraian-Florin Serbanuta, Grigore Rosu. 294-310 [doi]
- Probabilistic Graph Transformation SystemsChristian Krause, Holger Giese. 311-325 [doi]
- Co-transformation of Graphs and Type Graphs with Application to Model Co-evolutionGabriele Taentzer, Florian Mantz, Yngve Lamo. 326-340 [doi]
- Graph Transformations for Evolving Domain KnowledgeBernhard Westfechtel, Manfred Nagl. 341-355 [doi]
- Construction of Integrity Preserving Triple Graph GrammarsAnthony Anjorin, Andy Schürr, Gabriele Taentzer. 356-370 [doi]
- Applying Incremental Graph Transformation to Existing Models in Relational DatabasesGábor Bergmann, Dóra Horváth, Ákos Horváth. 371-385 [doi]
- Incremental Pattern Matching for the Efficient Computation of Transitive ClosureGábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró. 386-400 [doi]
- Efficient Model Synchronization with Precedence Triple Graph GrammarsMarius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr. 401-415 [doi]
- ICGT 2012 Doctoral SymposiumAndrea Corradini, Gabriele Taentzer. 416 [doi]
- Multi-scale Rule-Based Graph Transformation Using the Programming Language XLYongzhi Ong. 417-419 [doi]
- Verification of Graph ProgramsChristopher M. Poskitt. 420-422 [doi]
- Specification and Verification of Modal Properties for Structured SystemsAndrea Vandin. 423-425 [doi]