Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
Proceedings of the Sixth International Conference on Graph Transformations
ICGT, 2012.

@proceedings{ICGT-2012,
	address       = "Bremen, Germany",
	doi           = "10.1007/978-3-642-33654-6",
	editor        = "Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg",
	isbn          = "978-3-642-33653-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Graph Transformations}",
	volume        = 7562,
	year          = 2012,
}

Contents (30 items)

10 ×#graph transformation
6 ×#graph
4 ×#graph grammar
4 ×#modelling
3 ×#framework
3 ×#performance
3 ×#verification
2 ×#co-evolution
2 ×#concurrent
2 ×#evolution

ICGT-2012-LopesF #design #framework #graph

A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.

ICGT-2012-RuscioIP #co-evolution #ecosystem #evolution #how #metamodelling

Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems (DDR, LI, AP), pp. 20–37.

ICGT-2012-DrechslerDGKLSSW #development

Completeness-Driven Development (RD, MD, DG, UK, HML, JS, MS, RW), pp. 38–50.

ICGT-2012-GadducciLV #approximate #infinity #modelling

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (FG, ALL, AV), pp. 51–65.

ICGT-2012-RensinkZ #abstraction #graph

Pattern-Based Graph Abstraction (AR, EZ), pp. 66–80.

ICGT-2012-KonigS #graph transformation

Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.

ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability

Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.

ICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation

Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.

ICGT-2012-OrejasBM #graph

Borrowed Contexts for Attributed Graphs (FO, AB, NM), pp. 126–140.

ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.

ICGT-2012-DuvalEP #graph transformation

Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.

ICGT-2012-AotoK #confluence #decidability #term rewriting

Rational Term Rewriting Revisited: Decidability and Confluence (TA, JK), pp. 172–186.

ICGT-2012-Golas #concept #modelling

A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.

ICGT-2012-Heckel

DPO Transformation with Open Maps (RH), pp. 203–217.

ICGT-2012-HabelP

M,N-Adhesive Transformation Systems (AH, DP), pp. 218–233.

ICGT-2012-GhamarianR #composition #graph transformation

Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.

ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.

ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance

Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.

ICGT-2012-KhanRH #contract #modelling #testing #visual notation

Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.

ICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂

A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.

ICGT-2012-KrauseG #graph transformation #probability

Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.

ICGT-2012-TaentzerML #co-evolution #graph

Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution (GT, FM, YL), pp. 326–340.

ICGT-2012-WestfechtelN #evolution #graph transformation

Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.

ICGT-2012-AnjorinST #graph grammar

Construction of Integrity Preserving Triple Graph Grammars (AA, AS, GT), pp. 356–370.

ICGT-2012-BergmannHH #database #graph transformation #incremental #modelling #relational

Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.

ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive

Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.

ICGT-2012-LauderAVS #graph grammar #performance #precedence

Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.

ICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using

Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.

ICGT-2012-Poskitt #graph #source code #verification

Verification of Graph Programs (CMP), pp. 420–422.

ICGT-2012-Vandin #specification #verification

Specification and Verification of Modal Properties for Structured Systems (AV), pp. 423–425.