Electronic Communication of the European Association of Software Science and Technology
, Volume 38
Volume 38, 2011
International Conference on Graph Transformation 2010 - Doctoral Symposium
Andrea Corradini
:
Preface.
Articles
Christoph Blume
:
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems.
Mathias Hülsbusch
:
Application Conditions for Reactive Systems with Applications to Bisimulation Theory.
Eugen Jiresch
:
Realizing Impure Functions in Interaction Nets.
Eduardo Zambon
,
Arend Rensink
:
Using Graph Transformations and Graph Abstractions for Software Verification.
Enrico Biermann
:
Local Confluence Analysis of Consistent EMF Transformations.
Adwoa Donyina
,
Reiko Heckel
:
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation.
Zoltán Ujhelyi
,
Ákos Horváth
,
Dániel Varró
:
Static Type Checking of Model Transformation Programs.
Fawad Qayum
,
Reiko Heckel
:
Search-Based Refactoring using Unfolding of Graph Transformation Systems.
Last update Tue May 21 13:14:58 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
Data released under the ODC-BY 1.0 license — See also our legal information page
