Arend Rensink, Eduardo Zambon
Proceedings of the First Workshop on Graphs as Models
GaM, 2015.

@proceedings{GaM-2015,
	address       = "London, England, United Kingdom",
	doi           = "10.4204/EPTCS.181",
	editor        = "Arend Rensink and Eduardo Zambon",
	series        = "{EPTCS}",
	title         = "{Proceedings of the First Workshop on Graphs as Models}",
	volume        = 181,
	year          = 2015,
}

Event page: http://www.utwente.nl/ewi/gam2015/

Contents (9 items)

4 ×#graph
3 ×#detection

GaM-2015-Wijs #confluence #detection #lts

Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.

GaM-2015-KissingerZ #exclamation

!-graphs with trivial overlap are context-free (AK, VZ), pp. 16–31.

GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.

GaM-2015-BakFPR #graph #interpreter #programming language

A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.

GaM-2015-ValletKPM #approach #modelling #network #social #visual notation

A Visual Analytics Approach to Compare Propagation Models in Social Networks (JV, HK, BP, GM), pp. 65–79.

GaM-2015-HochMS #graph #programming

Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.

GaM-2015-KulcsarDLVS #detection #graph transformation

Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.

GaM-2015-RadwanH #detection #refactoring #smell

Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.

GaM-2015-Moreau #graph

Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs (LM), pp. 129–144.