ICGT B

53 papers

YearTitle / Authors
200815 Years of Triple Graph Grammars.
Andy Schürr, Felix Klar
2008A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
2008A Decentralized Implementation of Mobile Ambients.
Fabio Gadducci, Giacoma Valentina Monreale
2008A Modal-Logic Based Graph Abstraction.
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
2008Abstract Semantics by Observable Contexts.
Filippo Bonchi
2008Abstracting Complex Data Structures by Hyperedge Replacement.
Stefan Rieger, Thomas Noll
2008Adaptive Star Grammars for Graph Models.
Frank Drewes, Berthold Hoffmann, Mark Minas
2008An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.
Steffen Mazanek, Sonja Maier, Mark Minas
2008Attributed Graph Constraints.
Fernando Orejas
2008Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
2008Development of Correct Graph Transformation Systems.
Karl-Heinz Pennemann
2008Discovery, Verification and Conformance of Workflows with Cancellation.
Wil M. P. van der Aalst
2008Embedding and Confluence of Graph Transformations with Negative Application Conditions.
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2008Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
Hartmut Ehrig, Ulrike Prange
2008From Separation Logic to Hyperedge Replacement and Back.
Mike Dodds
2008Grammar Morphisms and Weakly Adhesive Categories.
Tobias Heindel
2008Graph Multiset Transformation as a Framework for Massively Parallel Computation.
Hans-Jörg Kreowski, Sabine Kuske
2008Graph Transformation for Topology Modelling.
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
2008Graph Transformation for the Semantic Web: Queries and Inference Rules.
Hongqing Yu, Yi Hong
2008Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
2008Graph-Based Tools: The Contest.
Arend Rensink, Pieter Van Gorp
2008High-Level Programs and Program Conditions.
Karl Azab, Annegret Habel
2008ICGT 2008 Doctoral Symposium.
Andrea Corradini, Emilio Tuosto
2008Inductively Sequential Term-Graph Rewrite Systems.
Rachid Echahed
2008Labelled (Hyper)Graphs, Negotiations and the Naming Problem.
Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier
2008Mobile Agents Implementing Local Computations in Graphs.
Bilel Derbel, Mohamed Mosbah, Stefan Gruner
2008Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems.
Ajab Khan
2008Model-Driven Development of Model Transformations.
Pieter Van Gorp
2008Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement.
Mohammad Hammoudeh
2008Network Applications of Graph Bisimulation.
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
2008On Switching to H-Free Graphs.
Eva Jelínková, Jan Kratochvíl
2008On the Recognizability of Arrow and Graph Languages.
H. J. Sander Bruggink, Barbara König
2008Open Petri Nets: Non-deterministic Processes and Compositionality.
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
2008Parallel and Sequential Independence for Borrowed Contexts.
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
2008Pattern-Based Model-to-Model Transformation.
Juan de Lara, Esther Guerra
2008Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions.
Frank Hermann
2008Pullback Grammars Are Context-Free.
Michel Bauderon, Rui Chen, Olivier Ly
2008Resolution-Like Theorem Proving for High-Level Conditions.
Karl-Heinz Pennemann
2008Security, Cryptography and Directed Bigraphs.
Davide Grohmann
2008Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
Hartmut Ehrig, Claudia Ermel
2008Service Extraction from Legacy Systems.
Carlos M. P. Matos
2008Summary of the Workshop on Natural Computing and Graph Transformations.
Ion Petre, Grzegorz Rozenberg
2008The AUTOSAR Way of Model-Based Engineering of Automotive Systems.
Heiko Dörr
2008Towards a Two Layered Verification Approach for Compiled Graph Transformation.
Ákos Horváth
2008Towards an Algebraic Theory of Bidirectional Transformations.
Perdita Stevens
2008Towards the Verification of Attributed Graph Transformation Systems.
Barbara König, Vitali Kozioura
2008Transformation-Based Operationalization of Graph Languages.
Erhard Weinell
2008Triple Graph Grammars and OCL for Validating System Behavior.
Duc-Hanh Dang
2008Tutorial Introduction to Graph Transformation.
Reiko Heckel
2008Using a Triple Graph Grammar for State Machine Implementations.
Michael Striewe
2008Verification of Architectural Refactorings: Rule Extraction and Tool Support.
Dénes Bisztray
2008Workshop on Graph Computation Models.
Mohamed Mosbah, Annegret Habel
2008Workshop on Petri Nets and Graph Transformations.
Paolo Baldan, Barbara König