| 2012 | $\mathcal M, \mathcal N$ -Adhesive Transformation Systems. Annegret Habel, Detlef Plump |
| 2012 | A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. Ulrike Golas |
| 2012 | A Graph-Based Design Framework for Services. Antónia Lopes, José Luiz Fiadeiro |
| 2012 | A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. Traian-Florin Serbanuta, Grigore Rosu |
| 2012 | Applying Incremental Graph Transformation to Existing Models in Relational Databases. Gábor Bergmann, Dóra Horváth, Ákos Horváth |
| 2012 | Borrowed Contexts for Attributed Graphs. Fernando Orejas, Artur Boronat, Nikos Mylonakis |
| 2012 | Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. Gabriele Taentzer, Florian Mantz, Yngve Lamo |
| 2012 | Completeness-Driven Development. Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille |
| 2012 | Construction of Integrity Preserving Triple Graph Grammars. Anthony Anjorin, Andy Schürr, Gabriele Taentzer |
| 2012 | DPO Transformation with Open Maps. Reiko Heckel |
| 2012 | Efficient Model Synchronization with Precedence Triple Graph Grammars. Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr |
| 2012 | Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König |
| 2012 | Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems. Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
| 2012 | Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2012 | Generalised Compositionality in Graph Transformation. Amir Hossein Ghamarian, Arend Rensink |
| 2012 | Graph Transformation with Focus on Incident Edges. Dominique Duval, Rachid Echahed, Frédéric Prost |
| 2012 | Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| 2012 | Graph Transformations for Evolving Domain Knowledge. Bernhard Westfechtel, Manfred Nagl |
| 2012 | ICGT 2012 Doctoral Symposium. Andrea Corradini, Gabriele Taentzer |
| 2012 | Incremental Pattern Matching for the Efficient Computation of Transitive Closure. Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró |
| 2012 | Multi-scale Rule-Based Graph Transformation Using the Programming Language XL. Yongzhi Ong |
| 2012 | Parallelism and Concurrency of Stochastic Graph Transformations. Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann |
| 2012 | Pattern-Based Graph Abstraction. Arend Rensink, Eduardo Zambon |
| 2012 | Probabilistic Graph Transformation Systems. Christian Krause, Holger Giese |
| 2012 | Rational Term Rewriting Revisited: Decidability and Confluence. Takahito Aoto, Jeroen Ketema |
| 2012 | Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. Michael Löwe |
| 2012 | Specification and Verification of Modal Properties for Structured Systems. Andrea Vandin |
| 2012 | Testing against Visual Contracts: Model-Based Coverage. Tamim Ahmed Khan, Olga Runge, Reiko Heckel |
| 2012 | Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese |
| 2012 | Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. Holger Giese, Leen Lambers |
| 2012 | Verification of Graph Programs. Christopher M. Poskitt |
| 2012 | Well-Structured Graph Transformation Systems with Negative Application Conditions. Barbara König, Jan Stückrath |