ICGT B

37 papers

YearTitle / Authors
2002A Formal Semantics of UML Statecharts by Model Transition Systems.
Dániel Varró
2002Abstraction and Control for Shapely Nested Graph Transformation.
Berthold Hoffmann
2002Approximating the Behaviour of Graph Transformation Systems.
Paolo Baldan, Barbara König
2002Bigraphs as a Model for Mobile Interaction.
Robin Milner
2002Call-by-Value lambda-Graph Rewriting Without Rewriting.
Maribel Fernández, Ian Mackie
2002Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).
David Harel
2002Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.
Juan de Lara, Hans Vangheluwe
2002Confluence of Typed Attributed Graph Transformation Systems.
Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
2002Decomposing Graphs with Symmetries.
Michel Bauderon, Frédérique Carrère
2002Describing Policies with Graph Constraints and Rules.
Manuel Koch, Francesco Parisi-Presicce
2002Distributed Graph Transformation Units.
Peter Knirsch, Sabine Kuske
2002Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes.
Jurriaan Hage, Tero Harju, Emo Welzl
2002Formalising Behaviour Preserving Program Transformations.
Tom Mens, Serge Demeyer, Dirk Janssens
2002GraCAD - Graph-Based Tool for Conceptual Design.
Janusz Szuba, Andy Schürr, Adam Borkowski
2002Graph Transformation with Time: Causality and Logical Clocks.
Szilvia Gyapay, Reiko Heckel, Dániel Varró
2002Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
2002Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.
J. Christopher Beck, Patrick Prosser, Evgeny Selensky
2002Graph-Based Reengineering of Telecommunication Systems.
André Marburger, Bernhard Westfechtel
2002Hierarchical Vertex Ordering.
Sung-Ho Woo, Sung-Bong Yang
2002Hyperedge Substitution in Basic Atom-Replacement Languages.
Renate Klempien-Hinrichs
2002Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery.
John L. Pfaltz
2002Linear Ordered Graph Grammars and Their Algebraic Foundations.
Ugo Montanari, Leila Ribeiro
2002Relabelling in Graph Transformation.
Annegret Habel, Detlef Plump
2002Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
Julia Padberg, Bettina Enders
2002TERMGRAPH 2002 - Workshop Survey.
Detlef Plump
2002Termination Detection of Distributed Algorithms by Graph Relabelling Systems.
Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
2002Transformation: The Missing Link of MDA.
Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood
2002Transforming Specification Architectures by GenGED.
Roswitha Bardohl, Claudia Ermel, Julia Padberg
2002Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
Luciano Baresi, Reiko Heckel
2002Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates.
Tero Harju, Ion Petre, Grzegorz Rozenberg
2002Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.
Carlo Ghezzi
2002Unparsing of Diagrams with DiaGen.
Mark Minas, Frank Strüber
2002Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment.
Carla Alessandra Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe, Daltro José Nunes
2002Workshop on Graph Transformation and Visual Modeling Techniques.
Paolo Bottoni, Mark Minas
2002Workshop on Graph-Based Tools.
Tom Mens, Andy Schürr, Gabriele Taentzer
2002Workshop on Logic, Graph Transformations and Discrete Structures.
Bruno Courcelle, Pascal Weil
2002Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.
Reiko Heckel, Tom Mens, Michel Wermelinger