Andrew Fish, Leen Lambers
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2012.

@proceedings{GT-VMT-2012,
	editor        = "Andrew Fish and Leen Lambers",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 47,
	year          = 2012,
}

Event page: http://www.cem.brighton.ac.uk/gt-vmt12/

Contents (15 items)

5 ×#graph
4 ×#graph transformation
4 ×#modelling
3 ×#testing
2 ×#algebra
2 ×#approach
2 ×#generative
2 ×#visual notation

GT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing

Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).

GT-VMT-2012-ArifulinaSE #specification #test coverage #testing

Coverage Criteria for Testing DMM Specifications (SA, CS, GE).

GT-VMT-2012-ArijoH #generative #graph transformation #modelling

View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).

GT-VMT-2012-BottoniP #graph #modelling

Modeling context with graph annotations (PB, FPP).

GT-VMT-2012-BrugginkHK #automaton #graph #towards

Towards Alternating Automata for Graph Languages (HJSB, MH, BK).

GT-VMT-2012-GabrielLE #algebra #approach #petri net

Algebraic Approach to Timed Petri Nets (KG, PL, CE).

GT-VMT-2012-GhamarianR #graph transformation

Graph Passing in Graph Transformation (AHG, AR).

GT-VMT-2012-HanH #modelling

Remedy of Mixed Initiative Conflicts in Model-based System Engineering (FH, PH).

GT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).

GT-VMT-2012-JalaliRG #incremental #pattern matching #regular expression

Incremental Pattern Matching for Regular Expressions (AJ, AR, AHG).

GT-VMT-2012-KhanRH #contract #testing #visual notation

Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).

GT-VMT-2012-LaraG #constraints #visual notation

Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).

GT-VMT-2012-MaierM #ad hoc #automation #diagrams #editing #layout

Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout (SM, MM).

GT-VMT-2012-NatschlagerS #algebra #approach #graph #graph transformation #inheritance

A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation (CN, KDS).

GT-VMT-2012-Taentzer #generative #graph #multi

Instance Generation from Type Graphs with Arbitrary Multiplicities (GT).