Jochen Malte Küster, Emilio Tuosto
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2010.
@proceedings{GT-VMT-2010,
editor = "Jochen Malte Küster and Emilio Tuosto",
journal = "{Electronic Communications of the EASST}",
title = "{Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques}",
volume = 29,
year = 2010,
}
Contents (13 items)
- GT-VMT-2010-BlumeBK #graph #invariant
- Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
- GT-VMT-2010-BottoniFP #constraints #model transformation
- Preserving constraints in horizontal model transformations (PB, AF, FPP).
- GT-VMT-2010-GrohmannM #algebra #graph
- Graph Algebras for Bigraphs (DG, MM).
- GT-VMT-2010-HassanMS #automaton #interactive #lightweight
- A lightweight abstract machine for interaction nets (AH, IM, SS).
- GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net
- Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).
- GT-VMT-2010-HoffmannM #graph grammar #metamodelling #modelling
- Defining Models — Meta Models versus Graph Grammars (BH, MM).
- GT-VMT-2010-Kahl
- Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).
- GT-VMT-2010-MolR #graph #on the #order
- On A Graph Formalism for Ordered Edges (MdM, AR).
- GT-VMT-2010-RehakSSH #decidability
- Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).
- GT-VMT-2010-Schatz #model transformation #verification
- Verification of Model Transformations (BS).
- GT-VMT-2010-StroblM #editing #generative #interactive #modelling #specification #visual notation
- Specifying and Generating Editing Environments for Interactive Animated Visual Models (TS, MM).
- GT-VMT-2010-SyrianiV #model transformation #transformation language
- De-/Re-constructing Model Transformation Languages (ES, HV).
- GT-VMT-2010-TorriniHRB #graph transformation #probability
- Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
