Holger Giese, Barbara König
Proceedings of the Seventh International Conference on Graph Transformations
ICGT, 2014.

@proceedings{ICGT-2014,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-319-09108-2",
	editor        = "Holger Giese and Barbara König",
	isbn          = "978-3-319-09107-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Graph Transformations}",
	volume        = 8571,
	year          = 2014,
}

Contents (18 items)

6 ×#graph
4 ×#generative
4 ×#graph transformation
3 ×#source code
3 ×#verification
2 ×#category theory
2 ×#constraints
2 ×#model transformation
2 ×#pointer

ICGT-2014-Delzanno #distributed #model checking #protocol #verification

Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.

ICGT-2014-LambersO #graph #reasoning

Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.

ICGT-2014-PoskittP #graph #higher-order #monad #source code #verification

Verifying Monadic Second-Order Properties of Graph Programs (CMP, DP), pp. 33–48.

ICGT-2014-JansenN #generative #graph #pointer #source code #summary

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.

ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.

ICGT-2014-DeckwerthV #constraints #generative #graph

Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.

ICGT-2014-ArendtHRT #constraints #graph #invariant #ocl

From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.

ICGT-2014-SelimLCDO #graph #model transformation #specification #verification

Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.

ICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis

A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.

ICGT-2014-DanosHS #refinement

Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.

ICGT-2014-DanosHHS #category theory

Reversible Sesqui-Pushout Rewriting (VD, TH, RHZ, SS), pp. 161–176.

ICGT-2014-HaymanH #category theory #on the

On Pushouts of Partial Maps (JH, TH), pp. 177–191.

ICGT-2014-RidderR #morphism #problem

The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages (HNdR, NdR), pp. 192–206.

ICGT-2014-CorradiniH #canonical

Canonical Derivations with Negative Application Conditions (AC, RH), pp. 207–221.

ICGT-2014-KonigLSW #graph transformation

Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.

ICGT-2014-KreowskiKLL #evaluation #generative #graph transformation #synthesis

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.

ICGT-2014-Bruggink #graph transformation #mining #process #towards

Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.

ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.