Proceedings of the Seventh 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

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

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

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.

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.