Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Täntzer
Proceedings of the Fourth International Conference on Graph Transformations
ICGT, 2008.

@proceedings{ICGT-2008,
	address       = "Leicester, England, United Kingdom",
	editor        = "Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Täntzer",
	isbn          = "978-3-540-87404-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Graph Transformations}",
	volume        = 5214,
	year          = 2008,
}

Contents (48 items)

14 ×#graph
9 ×#graph transformation
6 ×#modelling
4 ×#graph grammar
4 ×#model transformation
4 ×#using
4 ×#verification
3 ×#analysis
3 ×#implementation
3 ×#network

ICGT-2008-Stevens #algebra #bidirectional #towards

Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.

ICGT-2008-Aalst #consistency #verification #workflow

Discovery, Verification and Conformance of Workflows with Cancellation (WMPvdA), pp. 18–37.

ICGT-2008-Dorr #modelling

The AUTOSAR Way of Model-Based Engineering of Automotive Systems (HD), p. 38.

ICGT-2008-MazanekMM #algorithm

An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars (SM, SM, MM), pp. 39–53.

ICGT-2008-ChalopinMM #graph #problem

Labelled (Hyper)Graphs, Negotiations and the Naming Problem (JC, AWM, YM), pp. 54–68.

ICGT-2008-RiegerN #data type

Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.

ICGT-2008-Echahed #graph grammar #term rewriting

Inductively Sequential Term-Graph Rewrite Systems (RE), pp. 84–98.

ICGT-2008-DerbelMG #graph #implementation #mobile

Mobile Agents Implementing Local Computations in Graphs (BD, MM, SG), pp. 99–114.

ICGT-2008-GadducciM #distributed #implementation #mobile

A Decentralized Implementation of Mobile Ambients (FG, GVM), pp. 115–130.

ICGT-2008-CenciarelliGT #bisimulation #graph #network

Network Applications of Graph Bisimulation (PC, DG, ET), pp. 131–146.

ICGT-2008-PoudretACG #graph transformation #modelling

Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.

ICGT-2008-LambersEPO #confluence #graph transformation

Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.

ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.

ICGT-2008-EhrigE #correctness #graph #model transformation #semantics #using

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.

ICGT-2008-AzabH #source code

High-Level Programs and Program Conditions (KA, AH), pp. 211–225.

ICGT-2008-BonchiGH #independence #parallel

Parallel and Sequential Independence for Borrowed Contexts (FB, FG, TH), pp. 226–241.

ICGT-2008-RangelLKEB #behaviour #refactoring #using

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.

ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process

Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.

ICGT-2008-Orejas #constraints #graph

Attributed Graph Constraints (FO), pp. 274–288.

ICGT-2008-Pennemann #proving #theorem proving

Resolution-Like Theorem Proving for High-Level Conditions (KHP), pp. 289–304.

ICGT-2008-KonigK #graph transformation #towards #verification

Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.

ICGT-2008-BauerBKR #abstraction #graph

A Modal-Logic Based Graph Abstraction (JB, IB, MEK, AR), pp. 321–335.

ICGT-2008-BrugginkK #graph #on the

On the Recognizability of Arrow and Graph Languages (HJSB, BK), pp. 336–350.

ICGT-2008-KreowskiK #framework #graph #parallel

Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.

ICGT-2008-BauderonCL

Pullback Grammars Are Context-Free (MB, RC, OL), pp. 366–378.

ICGT-2008-JelinkovaK #graph #on the

On Switching to H-Free Graphs (EJ, JK), pp. 379–395.

ICGT-2008-BergmannHRV #benchmark #evaluation #graph transformation #incremental #metric #pattern matching

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.

ICGT-2008-SchurrK #graph grammar

15 Years of Triple Graph Grammars (AS, FK), pp. 411–425.

ICGT-2008-LaraG #model transformation

Pattern-Based Model-to-Model Transformation (JdL, EG), pp. 426–441.

ICGT-2008-DrewesHM #adaptation #graph #modelling

Adaptive Star Grammars for Graph Models (FD, BH, MM), pp. 442–457.

ICGT-2008-Heckel #graph transformation #tutorial

Tutorial Introduction to Graph Transformation (RH), pp. 458–459.

ICGT-2008-RensinkG #contest #graph #tool support

Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.

ICGT-2008-Bisztray #architecture #refactoring #tool support #verification

Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.

ICGT-2008-Bonchi #semantics

Abstract Semantics by Observable Contexts (FB), pp. 478–480.

ICGT-2008-Dang #behaviour #graph grammar #ocl #validation

Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.

ICGT-2008-Dodds #logic

From Separation Logic to Hyperedge Replacement and Back (MD), pp. 484–486.

ICGT-2008-Grohmann #encryption #graph #security

Security, Cryptography and Directed Bigraphs (DG), pp. 487–489.

ICGT-2008-Hammoudeh #clustering #modelling #network

Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement (MH), pp. 490–492.

ICGT-2008-Heindel #category theory #morphism

Grammar Morphisms and Weakly Adhesive Categories (TH), pp. 493–495.

ICGT-2008-Hermann #analysis #process #workflow

Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (FH), pp. 496–498.

ICGT-2008-Horvath #approach #graph transformation #towards #verification

Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.

ICGT-2008-Khan #analysis #configuration management #graph transformation #modelling #network #using

Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems (AK), pp. 502–504.

ICGT-2008-Matos #legacy

Service Extraction from Legacy Systems (CMPM), pp. 505–507.

ICGT-2008-Pennemann08a #development #graph transformation

Development of Correct Graph Transformation Systems (KHP), pp. 508–510.

ICGT-2008-YuH #graph transformation #query #semantics #web

Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.

ICGT-2008-Striewe #graph grammar #implementation #state machine #using

Using a Triple Graph Grammar for State Machine Implementations (MS), pp. 514–516.

ICGT-2008-Gorp #development #model transformation #modelling

Model-Driven Development of Model Transformations (PVG), pp. 517–519.

ICGT-2008-Weinell #graph

Transformation-Based Operationalization of Graph Languages (EW), pp. 520–522.