ask others

7. ICGT 2014: York, UK

> Home > Conferences and Workshops > ICGT

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/2014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/2014
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/Delzanno14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/Delzanno14
Giorgio Delzanno:
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. 1-16

Verification

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/LambersO14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/LambersO14
Leen Lambers, Fernando Orejas:
Tableau-Based Reasoning for Graph Properties. 17-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/PoskittP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/PoskittP14
Christopher M. Poskitt, Detlef Plump:
Verifying Monadic Second-Order Properties of Graph Programs. 33-48
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/JansenN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/JansenN14
Christina Jansen, Thomas Noll:
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. 49-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/JansenGN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/JansenGN14
Christina Jansen, Florian Göbe, Thomas Noll:
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. 65-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/DeckwerthV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/DeckwerthV14
Frederik Deckwerth, Gergely Varró:
Attribute Handling for Generating Preconditions from Graph Constraints. 81-96

Meta-Modelling and Model Transformations

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/ArendtHRT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/ArendtHRT14
Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer:
From Core OCL Invariants to Nested Graph Constraints. 97-112
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/SelimLCDO14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/SelimLCDO14
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/AnjorinLST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/AnjorinLST14
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/DanosHS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/DanosHS14
Vincent Danos, Reiko Heckel, Pawel Sobocinski:
Transformation and Refinement of Rigid Structures. 146-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/DanosHHS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/DanosHHS14
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Reversible Sesqui-Pushout Rewriting. 161-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/HaymanH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/HaymanH14
Jonathan Hayman, Tobias Heindel:
On Pushouts of Partial Maps. 177-191

Graph Languages and Graph Transformation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/RidderR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/RidderR14
H. N. de Ridder, Natalia de Ridder:
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. 192-206
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/CorradiniH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/CorradiniH14
Andrea Corradini, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. 207-221
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/KonigLSW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/KonigLSW14
Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter:
Van Kampen Squares for Graph Transformation. 222-236

Applications

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/KreowskiKLL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/KreowskiKLL14
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer:
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. 237-252
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/Bruggink14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/Bruggink14
H. J. Sander Bruggink:
Towards Process Mining with Graph Transformation Systems. 253-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/BelhaouariAGB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/BelhaouariAGB14
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