Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar7. ICGT 2014: York, UK
Holger Giese, Barbara König:
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8571, Springer 2014, ISBN 978-3-319-09107-5
Invited Contribution
- Giorgio Delzanno:
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. 1-16
Verification
- Christopher M. Poskitt, Detlef Plump:
Verifying Monadic Second-Order Properties of Graph Programs. 33-48 - Christina Jansen, Thomas Noll:
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. 49-64 - Christina Jansen, Florian Göbe, Thomas Noll:
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. 65-80 - Frederik Deckwerth, Gergely Varró:
Attribute Handling for Generating Preconditions from Graph Constraints. 81-96
Meta-Modelling and Model Transformations
- Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer:
From Core OCL Invariants to Nested Graph Constraints. 97-112 - Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes:
Specification and Verification of Graph-Based Model Transformation Properties. 113-129 - Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer:
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation. 130-145
Rewriting and Applications in Biology
- Vincent Danos, Reiko Heckel, Pawel Sobocinski:
Transformation and Refinement of Rigid Structures. 146-160 - Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Reversible Sesqui-Pushout Rewriting. 161-176
Graph Languages and Graph Transformation
- H. N. de Ridder, Natalia de Ridder:
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. 192-206 - Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter:
Van Kampen Squares for Graph Transformation. 222-236
Applications
- Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer:
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. 237-252 - Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet:
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. 269-284
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-09-21 22:46 CEST by the dblp team