default search action
4th ICGT 2008: Leicester, United Kingdom
- Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214, Springer 2008, ISBN 978-3-540-87404-1
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
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
Mobile Agents Implementing Local Computations in Graphs. 99-114 - Fabio Gadducci
A Decentralized Implementation of Mobile Ambients. 115-130 - Pietro Cenciarelli, Daniele Gorla
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
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
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
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
- H. J. 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á
On Switching to H-Free Graphs. 379-395
Patterns and Model Transformations
- Gábor Bergmann
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
Adaptive Star Grammars for Graph Models. 442-457
Tutorial and Workshops
- Reiko Heckel:
Tutorial Introduction to Graph Transformation. 458-459 - Mohamed Mosbah
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
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
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 2024-11-15 19:19 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: