Skip to main content
SpringerLink
Log in
Book cover

Graph Transformation

7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Holger Giese

    1. Hasso Plattner Institut an der Universität Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Barbara König

    1. Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenscaft, Universität Duisburg-Essen, Duisburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8571)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICGT 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  3. Verification

    1. Tableau-Based Reasoning for Graph Properties

      • Leen Lambers, Fernando Orejas
      Pages 17-32

    2. Verifying Monadic Second-Order Properties of Graph Programs

      • Christopher M. Poskitt, Detlef Plump
      Pages 33-48

    3. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs

      • Christina Jansen, Thomas Noll
      Pages 49-64

    4. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

      • Christina Jansen, Florian Göbe, Thomas Noll
      Pages 65-80

    5. Attribute Handling for Generating Preconditions from Graph Constraints

      • Frederik Deckwerth, Gergely Varró
      Pages 81-96

  4. Meta-Modelling and Model Transformations

    1. From Core OCL Invariants to Nested Graph Constraints

      • Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer
      Pages 97-112

    2. Specification and Verification of Graph-Based Model Transformation Properties

      • Gehan M. K. Selim, Levi Lúcio, James R. Cordy, Juergen Dingel, Bentley J. Oakes
      Pages 113-129

    3. A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation

      • Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer
      Pages 130-145

  5. Rewriting and Applications in Biology

    1. Transformation and Refinement of Rigid Structures

      • Vincent Danos, Reiko Heckel, Pawel Sobocinski
      Pages 146-160

    2. Reversible Sesqui-Pushout Rewriting

      • Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
      Pages 161-176

    3. On Pushouts of Partial Maps

      • Jonathan Hayman, Tobias Heindel
      Pages 177-191

  6. Graph Languages and Graph Transformation

    1. The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages

      • H. N. de Ridder, N. de Ridder
      Pages 192-206

    2. Canonical Derivations with Negative Application Conditions

      • Andrea Corradini, Reiko Heckel
      Pages 207-221

    3. Van Kampen Squares for Graph Transformation

      • Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
      Pages 222-236

  7. Applications

    1. Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis

      • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
      Pages 237-252

    2. Towards Process Mining with Graph Transformation Systems

      • H. J. Sander Bruggink
      Pages 253-268

    3. Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling

      • Hakim Belhaouari, Agnés Arnould, Pascale Le Gall, Thomas Bellet
      Pages 269-284

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the proceedings of the 7th International
Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.
The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Editors and Affiliations

  • Hasso Plattner Institut an der Universität Potsdam, Potsdam, Germany

    Holger Giese

  • Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenscaft, Universität Duisburg-Essen, Duisburg, Germany

    Barbara König

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation