Electronic Communication of the European Association of Software Science and Technology, Volume 47

Volume 47, 2012

Graph Transformation and Visual Modeling Techniques

- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/FishL12
- ask others
Andrew Fish, Leen Lambers: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Taentzer12
- ask others
Gabriele Taentzer: Instance Generation from Type Graphs with Arbitrary Multiplicities.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/AnjorinOZS12
- ask others
Anthony Anjorin, Sebastian Oster, Ivan Zorcic, Andy Schürr: Optimizing Model-Based Software Product Line Testing with Graph Transformations.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KhanRH12
- ask others
Tamim Ahmed Khan, Olga Runge, Reiko Heckel: Visual Contracts as Test Oracle in AGG 2.0.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ArifulinaSE12
- ask others
Svetlana Arifulina, Christian Soltenborn, Gregor Engels: Coverage Criteria for Testing DMM Specifications.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/GabrielLE12
- ask others
Karsten Gabriel, Pascal Lingnau, Claudia Ermel: Algebraic Approach to Timed Petri Nets.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Heussner12
- ask others
Alexander Heußner: Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HanH12
- ask others
Fenglin Han, Peter Herrmann: Remedy of Mixed Initiative Conflicts in Model-based System Engineering.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ArijoH12
- ask others
Niaz Arijo, Reiko Heckel: View-based Modelling and State-Space Generation for Graph Transformation Systems.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/GhamarianR12
- ask others
Amir Hossein Ghamarian, Arend Rensink: Graph Passing in Graph Transformation.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BrugginkHK12
- ask others
Harrie Jan Sander Bruggink, Mathias Hülsbusch, Barbara König: Towards Alternating Automata for Graph Languages.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BottoniP12
- ask others
Paolo Bottoni, Francesco Parisi-Presicce: Modeling context with graph annotations.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MaierM12
- ask others
Sonja Maier, Mark Minas: Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/NatschlagerS12
- ask others
Christine Natschläger, Klaus-Dieter Schewe: A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/JalaliRG12
- ask others
Arash Jalali, Arend Rensink, Amir Hossein Ghamarian: Incremental Pattern Matching for Regular Expressions.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/LaraG12
- ask others
Juan de Lara, Esther Guerra: Inter-Modelling with Graphical Constraints: Foundations and Applications.