![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
7th 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
- Leen Lambers, Fernando Orejas
:
Tableau-Based Reasoning for Graph Properties. 17-32 - 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 - Jonathan Hayman, Tobias Heindel:
On Pushouts of Partial Maps. 177-191
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 - Andrea Corradini
, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. 207-221 - 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 - H. J. Sander Bruggink:
Towards Process Mining with Graph Transformation Systems. 253-268 - Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
, Thomas Bellet:
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. 269-284
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.