Invited Papers

• 
  Perdita Stevens: Towards an Algebraic Theory of Bidirectional Transformations. 1-17
• 
  Wil M. P. van der Aalst: Discovery, Verification and Conformance of Workflows with Cancellation. 18-37
• 
  Heiko Dörr: The AUTOSAR Way of Model-Based Engineering of Automotive Systems. 38

Hypergraphs and Termgraph Rewriting

• 
  Steffen Mazanek, Sonja Maier, Mark Minas: An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. 39-53
• 
  Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier: Labelled (Hyper)Graphs, Negotiations and the Naming Problem. 54-68
• 
  Stefan Rieger, Thomas Noll: Abstracting Complex Data Structures by Hyperedge Replacement. 69-83
• 
  Rachid Echahed: Inductively Sequential Term-Graph Rewrite Systems. 84-98

Applications of Graph Transformation

• 
  Bilel Derbel, Mohamed Mosbah, Stefan Gruner: Mobile Agents Implementing Local Computations in Graphs. 99-114
• 
  Fabio Gadducci, Giacoma Valentina Monreale: A Decentralized Implementation of Mobile Ambients. 115-130
• 
  Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. 131-146
• 
  Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. 147-161
• 
  Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. 162-177

Execution of Graph Transformations

• 
  Hartmut Ehrig, Ulrike Prange: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. 178-193
• 
  Hartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. 194-210
• 
  Karl Azab, Annegret Habel: High-Level Programs and Program Conditions. 211-225

Compositional Systems

• 
  Filippo Bonchi, Fabio Gadducci, Tobias Heindel: Parallel and Sequential Independence for Borrowed Contexts. 226-241
• 
  Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. 242-256
• 
  Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. 257-273

Validation and Verification

• 
  Fernando Orejas: Attributed Graph Constraints. 274-288
• 
  Karl-Heinz Pennemann: Resolution-Like Theorem Proving for High-Level Conditions. 289-304
• 
  Barbara König, Vitali Kozioura: Towards the Verification of Attributed Graph Transformation Systems. 305-320
• 
  Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. 321-335

Graph Languages and Special Transformation Concepts

• 
  Harrie Jan Sander Bruggink, Barbara König: On the Recognizability of Arrow and Graph Languages. 336-350
• 
  Hans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. 351-365
• 
  Michel Bauderon, Rui Chen, Olivier Ly: Pullback Grammars Are Context-Free. 366-378
• 
  Eva Jelínková, Jan Kratochvíl: On Switching to H-Free Graphs. 379-395

Patterns and Model Transformations

• 
  Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. 396-410
• 
  Andy Schürr, Felix Klar: 15 Years of Triple Graph Grammars. 411-425
• 
  Juan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. 426-441
• 
  Frank Drewes, Berthold Hoffmann, Mark Minas: Adaptive Star Grammars for Graph Models. 442-457

Tutorial and Workshops

• 
  Reiko Heckel: Tutorial Introduction to Graph Transformation. 458-459
• 
  Mohamed Mosbah, Annegret Habel: Workshop on Graph Computation Models. 460-462
• 
  Arend Rensink, Pieter Van Gorp: Graph-Based Tools: The Contest. 463-466
• 
  Paolo Baldan, Barbara König: Workshop on Petri Nets and Graph Transformations. 467-469
• 
  Ion Petre, Grzegorz Rozenberg: Summary of the Workshop on Natural Computing and Graph Transformations. 470-472

Doctoral Symposium

• 
  Andrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. 473-474
• 
  Dénes Bisztray: Verification of Architectural Refactorings: Rule Extraction and Tool Support. 475-477
• 
  Filippo Bonchi: Abstract Semantics by Observable Contexts. 478-480
• 
  Duc-Hanh Dang: Triple Graph Grammars and OCL for Validating System Behavior. 481-483
• 
  Mike Dodds: From Separation Logic to Hyperedge Replacement and Back. 484-486
• 
  Davide Grohmann: Security, Cryptography and Directed Bigraphs. 487-489
• 
  Mohammad Hammoudeh: Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement. 490-492
• 
  Tobias Heindel: Grammar Morphisms and Weakly Adhesive Categories. 493-495
• 
  Frank Hermann: Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. 496-498
• 
  Ákos Horváth: Towards a Two Layered Verification Approach for Compiled Graph Transformation. 499-501
• 
  Ajab Khan: Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. 502-504
• 
  Carlos M. P. Matos: Service Extraction from Legacy Systems. 505-507
• 
  Karl-Heinz Pennemann: Development of Correct Graph Transformation Systems. 508-510
• 
  HongQing Yu, Yi Hong: Graph Transformation for the Semantic Web: Queries and Inference Rules. 511-513
• 
  Michael Striewe: Using a Triple Graph Grammar for State Machine Implementations. 514-516
• 
  Pieter Van Gorp: Model-Driven Development of Model Transformations. 517-519
• 
  Erhard Weinell: Transformation-Based Operationalization of Graph Languages. 520-522

last updated on Sat May 18 04:55:53 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page