Skip to main content
  • Conference proceedings
  • © 2014

Graph Transformation

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

Editors:

(view affiliations)

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)

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2014.

Buying options

eBook
USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-09108-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 59.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. 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 Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

      • Christina Jansen, Florian Göbe, Thomas Noll
      Pages 65-80
    4. Attribute Handling for Generating Preconditions from Graph Constraints

      • Frederik Deckwerth, Gergely Varró
      Pages 81-96
  3. 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
  4. 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
  5. Graph Languages and Graph Transformation

    1. Canonical Derivations with Negative Application Conditions

      • Andrea Corradini, Reiko Heckel
      Pages 207-221
    2. Van Kampen Squares for Graph Transformation

      • Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
      Pages 222-236
  6. 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
  7. Back Matter

Other Volumes

  1. Graph Transformation

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

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.

Keywords

  • computational systems biology
  • graph rewriting
  • graph theory
  • hypergraphs
  • meta-modeling
  • model transformations
  • static analysis
  • verification
  • data structures
  • algorithm analysis and problem complexity

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

Buying options

eBook
USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-09108-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 59.99
Price excludes VAT (USA)