Graph Transformations

5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

  • Hartmut Ehrig
  • Arend Rensink
  • Grzegorz Rozenberg
  • Andy Schürr
Conference proceedings ICGT 2010

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

Table of contents

  1. Front Matter
  2. Invited Speakers

  3. Session 1. Graphs and Logic

    1. Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
      Pages 27-42
    2. Fernando Orejas, Leen Lambers
      Pages 43-58
    3. Philippe Balbiani, Rachid Echahed, Andreas Herzig
      Pages 59-74
  4. Session 2. Behavioural Analysis

    1. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
      Pages 91-106
    2. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
      Pages 123-138
    3. Christopher M. Poskitt, Detlef Plump
      Pages 139-154
  5. Session 3. Models and Model Transformation

    1. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
      Pages 155-170
    2. Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer
      Pages 171-186
    3. Dénes Bisztray, Reiko Heckel
      Pages 203-217
  6. Session 4. Algebraic Foundations

    1. Michael Löwe
      Pages 218-233
    2. Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
      Pages 234-249
    3. Tobias Heindel
      Pages 250-265
  7. Session 5. Applications

    1. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
      Pages 266-281
    2. Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 282-297
    3. Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
      Pages 298-313
    4. Åsa Hagström, Francesco Parisi-Presicce
      Pages 314-329
  8. Session 6. Rule Composition

    1. Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
      Pages 330-345
    2. Ulrike Golas, Hartmut Ehrig, Annegret Habel
      Pages 346-361
  9. Doctoral Symposium

  10. Back Matter

About these proceedings


Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.


Factor Refactoring boolean satisfiability problem calculus constraint distributed systems grammars logic modeling semantics simulation software structured analysis verification versioning

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Arend Rensink
    • 2
  • Grzegorz Rozenberg
    • 3
  • Andy Schürr
    • 4
  1. 1.Institut für Softwaretechnik und Theoretische InformatikTechnische Universität BerlinBerlinGermany
  2. 2.Afdeling InformaticaUniversiteit TwenteEnschedeThe Netherlands
  3. 3.Leiden Institute of Advanced Computer Science (LIACS)Universiteit LeidenLeidenThe Netherlands
  4. 4.Fachgebiet EchtzeitsystemeTechnische Universität DarmstadtDarmstadtGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-15927-5
  • Online ISBN 978-3-642-15928-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site