default search action
6th ICGT 2012: Bremen, Germany
- Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Lecture Notes in Computer Science 7562, Springer 2012, ISBN 978-3-642-33653-9
Invited Papers
- Antónia Lopes, José Luiz Fiadeiro:
A Graph-Based Design Framework for Services. 1-19 - Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio:
Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems. 20-37 - Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille:
Completeness-Driven Development. 38-50
Foundations 1: Behavioral Analysis
- Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. 51-65 - Arend Rensink, Eduardo Zambon:
Pattern-Based Graph Abstraction. 66-80 - Barbara König, Jan Stückrath:
Well-Structured Graph Transformation Systems with Negative Application Conditions. 81-95
Foundations 2: High-Level Graph Transformation
- Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. 96-110 - Michael Löwe:
Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. 111-125 - Fernando Orejas, Artur Boronat, Nikos Mylonakis:
Borrowed Contexts for Attributed Graphs. 126-140
Foundations 3: Revisited Approaches
- Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese:
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. 141-155 - Dominique Duval, Rachid Echahed, Frédéric Prost:
Graph Transformation with Focus on Incident Edges. 156-171 - Takahito Aoto, Jeroen Ketema:
Rational Term Rewriting Revisited: Decidability and Confluence. 172-186
Foundations 4: General Transformation Models
- Ulrike Golas:
A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. 187-202 - Reiko Heckel:
DPO Transformation with Open Maps. 203-217 - Annegret Habel, Detlef Plump:
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. 218-233
Foundations 5: Structuring and Verification
- Amir Hossein Ghamarian, Arend Rensink:
Generalised Compositionality in Graph Transformation. 234-248 - Holger Giese, Leen Lambers:
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. 249-263 - Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König:
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. 264-278
Applications 1: Graph Transformations in Use
- Tamim Ahmed Khan, Olga Runge, Reiko Heckel:
Testing against Visual Contracts: Model-Based Coverage. 279-293 - Traian-Florin Serbanuta, Grigore Rosu:
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. 294-310 - Christian Krause, Holger Giese:
Probabilistic Graph Transformation Systems. 311-325
Applications 2: (Meta-)Model Evolution
- Gabriele Taentzer, Florian Mantz, Yngve Lamo:
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. 326-340 - Bernhard Westfechtel, Manfred Nagl:
Graph Transformations for Evolving Domain Knowledge. 341-355 - Anthony Anjorin, Andy Schürr, Gabriele Taentzer:
Construction of Integrity Preserving Triple Graph Grammars. 356-370
Applications 3: Incremental Approaches
- Gábor Bergmann, Dóra Horváth, Ákos Horváth:
Applying Incremental Graph Transformation to Existing Models in Relational Databases. 371-385 - Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró:
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. 386-400 - Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr:
Efficient Model Synchronization with Precedence Triple Graph Grammars. 401-415
Doctoral Symposium
- Andrea Corradini, Gabriele Taentzer:
ICGT 2012 Doctoral Symposium. 416 - Yongzhi Ong:
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL. 417-419 - Christopher M. Poskitt:
Verification of Graph Programs. 420-422 - Andrea Vandin:
Specification and Verification of Modal Properties for Structured Systems. 423-425
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.