Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Proceedings of the Fifth International Conference on Graph Transformations
ICGT, 2010.

@proceedings{ICGT-2010,
	address       = "Enschede, The Netherlands",
	doi           = "10.1007/978-3-642-15928-2",
	editor        = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr",
	isbn          = "978-3-642-15927-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Graph Transformations}",
	volume        = 6372,
	year          = 2010,
}

Contents (36 items)

10 ×#graph transformation
6 ×#graph
4 ×#category theory
4 ×#graph grammar
4 ×#modelling
3 ×#calculus
3 ×#formal method
3 ×#model transformation
3 ×#source code
3 ×#using

ICGT-2010-Esparza #concurrent #tool support

A False History of True Concurrency: From Petri to Tools (JE), pp. 1–2.

ICGT-2010-BrandtH #enterprise #graph transformation #how #modelling #question

How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? (CB, FH), pp. 3–26.

ICGT-2010-KreowskiKW #graph transformation #satisfiability

Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.

ICGT-2010-OrejasL #constraints #graph transformation #theorem proving

Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.

ICGT-2010-BalbianiEH #graph grammar #logic

A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.

ICGT-2010-Khomenko #behaviour

A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.

ICGT-2010-BaldanBCKS #graph grammar #on the

On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.

ICGT-2010-KonigE #graph transformation #specification #verification

Verification of Graph Transformation Systems with Context-Free Specifications (BK, JE), pp. 107–122.

ICGT-2010-BonchiGMM #lts #term rewriting

Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.

ICGT-2010-PoskittP #calculus #graph #hoare #source code

A Hoare Calculus for Graph Programs (CMP, DP), pp. 139–154.

ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

ICGT-2010-TaentzerELW #detection #graph #version control

Conflict Detection for Model Versioning Based on Graph Modifications (GT, CE, PL, MW), pp. 171–186.

ICGT-2010-JurackT #component #concept #graph #inheritance

A Component Concept for Typed Graphs with Inheritance and Containment Structures (SJ, GT), pp. 187–202.

ICGT-2010-BisztrayH #termination

Combining Termination Criteria by Isolating Deletion (DB, RH), pp. 203–217.

ICGT-2010-Lowe #graph grammar

Graph Rewriting in Span-Categories (ML), pp. 218–233.

ICGT-2010-BraatzEGG #category theory

Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.

ICGT-2010-Heindel #category theory

Hereditary Pushouts Reconsidered (TH), pp. 250–265.

ICGT-2010-LaraGBHT #graph transformation #simulation

Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.

ICGT-2010-GadducciLV #calculus #higher-order #semantics #μ-calculus

Counterpart Semantics for a Second-Order μ-Calculus (FG, ALL, AV), pp. 282–297.

ICGT-2010-SpicherMG #declarative #using

Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.

ICGT-2010-HagstromP

A Model for Distribution and Revocation of Certificates (ÅH, FPP), pp. 314–329.

ICGT-2010-EhrigHLOG #confluence

Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.

ICGT-2010-GolasEH #category theory #multi

Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.

ICGT-2010-Kahl #category theory #graph transformation

Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.

ICGT-2010-Biermann #emf #formal method #graph transformation #model transformation

EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.

ICGT-2010-Blume #graph #verification

Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.

ICGT-2010-Donyina #modelling #probability #resource management #simulation

Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.

ICGT-2010-Hulsbusch #bisimulation #graph transformation

Bisimulation Theory for Graph Transformation Systems (MH), pp. 391–393.

ICGT-2010-Jiresch #interactive

Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.

ICGT-2010-Jurack #emf #graph #inheritance #modelling

Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.

ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net #platform

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.

ICGT-2010-Monreale #automaton #calculus #encoding #lts #process #semantics #visual notation

LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.

ICGT-2010-Qayum #automation #graph transformation #refactoring #search-based #using

Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.

ICGT-2010-Radke #correctness #graph #source code

Correctness of Graph Programs Relative to HR ⁺ Conditions (HR), pp. 410–412.

ICGT-2010-Ujhelyi #model transformation #source code #static typing #type checking

Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.

ICGT-2010-Zambon #abstraction #graph transformation #using #verification

Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.