1. ICGT 2002: Barcelona, Spain

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Lecture Notes in Computer Science 2505 Springer 2002, ISBN 3-540-44310-X BibTeX

@proceedings{DBLP:conf/gg/2002,
  editor    = {Andrea Corradini and
               Hartmut Ehrig and
               Hans-J{\"o}rg Kreowski and
               Grzegorz Rozenberg},
  title     = {Graph Transformation, First International Conference, ICGT 2002,
               Barcelona, Spain, October 7-12, 2002, Proceedings},
  booktitle = {ICGT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2505},
  year      = {2002},
  isbn      = {3-540-44310-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Carlo Ghezzi:
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. 1-5
Electronic Edition (Springer LINK) BibTeX
David Harel:
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). 6-7
Electronic Edition (Springer LINK) BibTeX
Robin Milner:
Bigraphs as a Model for Mobile Interaction. 8-13
Electronic Edition (Springer LINK) BibTeX

Contributed Papers

Paolo Baldan, Barbara König:
Approximating the Behaviour of Graph Transformation Systems. 14-29
Electronic Edition (Springer LINK) BibTeX
Roswitha Bardohl, Claudia Ermel, Julia Padberg:
Transforming Specification Architectures by GenGED. 30-44
Electronic Edition (Springer LINK) BibTeX
Michel Bauderon, Frédérique Carrère:
Decomposing Graphs with Symmetries. 45-59
Electronic Edition (Springer LINK) BibTeX
J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. 60-74
Electronic Edition (Springer LINK) BibTeX
Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting. 75-89
Electronic Edition (Springer LINK) BibTeX
Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood:
Transformation: The Missing Link of MDA. 90-105
Electronic Edition (Springer LINK) BibTeX
Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami:
Termination Detection of Distributed Algorithms by Graph Relabelling Systems. 106-119
Electronic Edition (Springer LINK) BibTeX
Szilvia Gyapay, Reiko Heckel, Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks. 120-134
Electronic Edition (Springer LINK) BibTeX
Annegret Habel, Detlef Plump:
Relabelling in Graph Transformation. 135-147
Electronic Edition (Springer LINK) BibTeX
Jurriaan Hage, Tero Harju, Emo Welzl:
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. 148-160
Electronic Edition (Springer LINK) BibTeX
Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems. 161-176
Electronic Edition (Springer LINK) BibTeX
Berthold Hoffmann:
Abstraction and Control for Shapely Nested Graph Transformation. 177-191
Electronic Edition (Springer LINK) BibTeX
Renate Klempien-Hinrichs:
Hyperedge Substitution in Basic Atom-Replacement Languages. 192-206
Electronic Edition (Springer LINK) BibTeX
Peter Knirsch, Sabine Kuske:
Distributed Graph Transformation Units. 207-222
Electronic Edition (Springer LINK) BibTeX
Manuel Koch, Francesco Parisi-Presicce:
Describing Policies with Graph Constraints and Rules. 223-238
Electronic Edition (Springer LINK) BibTeX
Juan de Lara, Hans Vangheluwe:
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. 239-253
Electronic Edition (Springer LINK) BibTeX
Carla Alessandra Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe, Daltro José Nunes:
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment. 254-269
Electronic Edition (Springer LINK) BibTeX
André Marburger, Bernhard Westfechtel:
Graph-Based Reengineering of Telecommunication Systems. 270-285
Electronic Edition (Springer LINK) BibTeX
Tom Mens, Serge Demeyer, Dirk Janssens:
Formalising Behaviour Preserving Program Transformations. 286-301
Electronic Edition (Springer LINK) BibTeX
Mark Minas, Frank Strüber:
Unparsing of Diagrams with DiaGen. 302-316
Electronic Edition (Springer LINK) BibTeX
Ugo Montanari, Leila Ribeiro:
Linear Ordered Graph Grammars and Their Algebraic Foundations. 317-333
Electronic Edition (Springer LINK) BibTeX
Julia Padberg, Bettina Enders:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. 334-350
Electronic Edition (Springer LINK) BibTeX
John L. Pfaltz:
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery. 351-362
Electronic Edition (Springer LINK) BibTeX
Janusz Szuba, Andy Schürr, Adam Borkowski:
GraCAD - Graph-Based Tool for Conceptual Design. 363-377
Electronic Edition (Springer LINK) BibTeX
Dániel Varró:
A Formal Semantics of UML Statecharts by Model Transition Systems. 378-392
Electronic Edition (Springer LINK) BibTeX
Sung-Ho Woo, Sung-Bong Yang:
Hierarchical Vertex Ordering. 393-401
Electronic Edition (Springer LINK) BibTeX

Tutorials and Workshops

Luciano Baresi, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. 402-429
Electronic Edition (Springer LINK) BibTeX
Tero Harju, Ion Petre, Grzegorz Rozenberg:
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates. 430-434
Electronic Edition (Springer LINK) BibTeX
Detlef Plump:
TERMGRAPH 2002 - Workshop Survey. 435-439
Electronic Edition (Springer LINK) BibTeX
Tom Mens, Andy Schürr, Gabriele Taentzer:
Workshop on Graph-Based Tools. 440-444
Electronic Edition (Springer LINK) BibTeX
Paolo Bottoni, Mark Minas:
Workshop on Graph Transformation and Visual Modeling Techniques. 445-449
Electronic Edition (Springer LINK) BibTeX
Reiko Heckel, Tom Mens, Michel Wermelinger:
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. 450-454
Electronic Edition (Springer LINK) BibTeX
Bruno Courcelle, Pascal Weil:
Workshop on Logic, Graph Transformations and Discrete Structures. 455-458
Electronic Edition (Springer LINK) BibTeX