Francesco Parisi-Presicce, Bernhard Westfechtel
Proceedings of the Eighth International Conference on Graph Transformation
ICGT, 2015.

@proceedings{ICGT-2015,
	address       = "L'Aquila, Italy",
	doi           = "10.1007/978-3-319-21145-9",
	editor        = "Francesco Parisi-Presicce and Bernhard Westfechtel",
	isbn          = "978-3-319-21144-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Graph Transformation}",
	volume        = 9151,
	year          = 2015,
}

Contents (18 items)

6 ×#graph transformation
4 ×#graph grammar
3 ×#graph
3 ×#using
2 ×#analysis
2 ×#invariant
2 ×#multi
2 ×#named
2 ×#pattern matching
2 ×#towards

ICGT-2015-Lowe #category theory #graph grammar #polymorphism

Polymorphic Sesqui-Pushout Graph Rewriting (ML), pp. 3–18.

ICGT-2015-DrewesHM #parsing #predict #top-down

Predictive Top-Down Parsing for Hyperedge Replacement Grammars (FD, BH, MM), pp. 19–34.

ICGT-2015-CorradiniDEPR #algebra #graph grammar #named

AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.

ICGT-2015-Bruggink0NZ #graph #graph transformation #proving #termination #using

Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.

ICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards

Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.

ICGT-2015-LeblebiciAST #graph grammar #multi

Multi-amalgamated Triple Graph Grammars (EL, AA, AS, GT), pp. 87–103.

ICGT-2015-Padberg #configuration management #petri net

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.

ICGT-2015-Oliveira #graph transformation #reachability #slicing

Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.

ICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string

Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.

ICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.

ICGT-2015-MachadoRH #evolution #graph transformation

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.

ICGT-2015-Horn #clojure #domain-specific language #embedded #graph #pattern matching

Graph Pattern Matching as an Embedded Clojure DSL (TH), pp. 189–204.

ICGT-2015-WeberDP #formal method #graph transformation #monitoring #using

Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.

ICGT-2015-KwantesGKR #modelling #process #towards #verification

Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.

ICGT-2015-DyckG #induction #invariant

Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.

ICGT-2015-LeblebiciAS #graph grammar #multi #tool support

Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.

ICGT-2015-Stuckrath #analysis #graph transformation #named #using #verification

Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.

ICGT-2015-BurUHV #pattern matching #search-based

Local Search-Based Pattern Matching Features in EMF-IncQuery (MB, ZU, ÁH, DV), pp. 275–282.