Graph Transformation

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

  • Holger Giese
  • Barbara König

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

Table of contents

  1. Front Matter
  2. Invited Contribution

  3. Verification

    1. Leen Lambers, Fernando Orejas
      Pages 17-32
    2. Christopher M. Poskitt, Detlef Plump
      Pages 33-48
    3. Christina Jansen, Florian Göbe, Thomas Noll
      Pages 65-80
    4. Frederik Deckwerth, Gergely Varró
      Pages 81-96
  4. Meta-Modelling and Model Transformations

    1. Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer
      Pages 97-112
    2. Gehan M. K. Selim, Levi Lúcio, James R. Cordy, Juergen Dingel, Bentley J. Oakes
      Pages 113-129
    3. Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer
      Pages 130-145
  5. Rewriting and Applications in Biology

    1. Vincent Danos, Reiko Heckel, Pawel Sobocinski
      Pages 146-160
    2. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
      Pages 161-176
    3. Jonathan Hayman, Tobias Heindel
      Pages 177-191
  6. Graph Languages and Graph Transformation

    1. Andrea Corradini, Reiko Heckel
      Pages 207-221
    2. Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
      Pages 222-236
  7. Applications

    1. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
      Pages 237-252
    2. H. J. Sander Bruggink
      Pages 253-268
    3. Hakim Belhaouari, Agnés Arnould, Pascale Le Gall, Thomas Bellet
      Pages 269-284
  8. Back Matter

About these proceedings

Introduction

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

Editors and affiliations

  • Holger Giese
    • 1
  • Barbara König
    • 2
  1. 1.Hasso Plattner Institut an der Universität PotsdamPotsdamGermany
  2. 2.Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte KognitionswissenscaftUniversität Duisburg-EssenDuisburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-09108-2
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-09107-5
  • Online ISBN 978-3-319-09108-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book