| 2014 | A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation. Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer |
| 2014 | Attribute Handling for Generating Preconditions from Graph Constraints. Frederik Deckwerth, Gergely Varró |
| 2014 | Canonical Derivations with Negative Application Conditions. Andrea Corradini, Reiko Heckel |
| 2014 | From Core OCL Invariants to Nested Graph Constraints. Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer |
| 2014 | Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. Christina Jansen, Thomas Noll |
| 2014 | Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. Christina Jansen, Florian Göbe, Thomas Noll |
| 2014 | Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings Holger Giese, Barbara König |
| 2014 | Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer |
| 2014 | Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet |
| 2014 | On Pushouts of Partial Maps. Jonathan Hayman, Tobias Heindel |
| 2014 | Parameterized Verification and Model Checking for Distributed Broadcast Protocols. Giorgio Delzanno |
| 2014 | Reversible Sesqui-Pushout Rewriting. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2014 | Specification and Verification of Graph-Based Model Transformation Properties. Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes |
| 2014 | Tableau-Based Reasoning for Graph Properties. Leen Lambers, Fernando Orejas |
| 2014 | The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. H. N. de Ridder, Natalia de Ridder |
| 2014 | Towards Process Mining with Graph Transformation Systems. H. J. Sander Bruggink |
| 2014 | Transformation and Refinement of Rigid Structures. Vincent Danos, Reiko Heckel, Pawel Sobocinski |
| 2014 | Van Kampen Squares for Graph Transformation. Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter |
| 2014 | Verifying Monadic Second-Order Properties of Graph Programs. Christopher M. Poskitt, Detlef Plump |