Proceedings of the Sixth International Conference on Graph Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

GRAPH
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.