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
Invited Papers
- Carlo Ghezzi:
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.
1-5

- David Harel:
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).
6-7

- Robin Milner:
Bigraphs as a Model for Mobile Interaction.
8-13

Contributed Papers
- Paolo Baldan, Barbara König:
Approximating the Behaviour of Graph Transformation Systems.
14-29

- Roswitha Bardohl, Claudia Ermel, Julia Padberg:
Transforming Specification Architectures by GenGED.
30-44

- Michel Bauderon, Frédérique Carrère:
Decomposing Graphs with Symmetries.
45-59

- J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.
60-74

- Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting.
75-89

- Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood:
Transformation: The Missing Link of MDA.
90-105

- Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami:
Termination Detection of Distributed Algorithms by Graph Relabelling Systems.
106-119

- Szilvia Gyapay, Reiko Heckel, Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks.
120-134

- Annegret Habel, Detlef Plump:
Relabelling in Graph Transformation.
135-147

- Jurriaan Hage, Tero Harju, Emo Welzl:
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes.
148-160

- Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems.
161-176

- Berthold Hoffmann:
Abstraction and Control for Shapely Nested Graph Transformation.
177-191

- Renate Klempien-Hinrichs:
Hyperedge Substitution in Basic Atom-Replacement Languages.
192-206

- Peter Knirsch, Sabine Kuske:
Distributed Graph Transformation Units.
207-222

- Manuel Koch, Francesco Parisi-Presicce:
Describing Policies with Graph Constraints and Rules.
223-238

- Juan de Lara, Hans Vangheluwe:
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.
239-253

- 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

- André Marburger, Bernhard Westfechtel:
Graph-Based Reengineering of Telecommunication Systems.
270-285

- Tom Mens, Serge Demeyer, Dirk Janssens:
Formalising Behaviour Preserving Program Transformations.
286-301

- Mark Minas, Frank Strüber:
Unparsing of Diagrams with DiaGen.
302-316

- Ugo Montanari, Leila Ribeiro:
Linear Ordered Graph Grammars and Their Algebraic Foundations.
317-333

- Julia Padberg, Bettina Enders:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
334-350

- John L. Pfaltz:
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery.
351-362

- Janusz Szuba, Andy Schürr, Adam Borkowski:
GraCAD - Graph-Based Tool for Conceptual Design.
363-377

- Dániel Varró:
A Formal Semantics of UML Statecharts by Model Transition Systems.
378-392

- Sung-Ho Woo, Sung-Bong Yang:
Hierarchical Vertex Ordering.
393-401

Tutorials and Workshops
- Luciano Baresi, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
402-429

- Tero Harju, Ion Petre, Grzegorz Rozenberg:
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates.
430-434

- Detlef Plump:
TERMGRAPH 2002 - Workshop Survey.
435-439

- Tom Mens, Andy Schürr, Gabriele Taentzer:
Workshop on Graph-Based Tools.
440-444

- Paolo Bottoni, Mark Minas:
Workshop on Graph Transformation and Visual Modeling Techniques.
445-449

- Reiko Heckel, Tom Mens, Michel Wermelinger:
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.
450-454

- Bruno Courcelle, Pascal Weil:
Workshop on Logic, Graph Transformations and Discrete Structures.
455-458

Last update Wed May 22 04:42:20 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page