1. ICGT 2002: Barcelona, Spain

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