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
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
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
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
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
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. 269-284
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.
last updated on 2024-11-27 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: