default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st ICGT 2002: Barcelona, Spain
- Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-14 00:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
