Preview | Issue Date | Title | Author(s) | Editor(s) |
 | 2013 | Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version | Maximova, Maria; Ehrig, Hartmut; Ermel, Claudia | - |
 | 2014 | Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions | Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut | - |
 | 2008 | Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts | Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Bladan, Paolo | - |
 | 2009 | Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version) | Ehrig, Hartmut; Hermann, Frank; Sartorius, Christoph | - |
 | 2007 | Concurrency in Reconfigurable Place/Systems | Ehrig, Hartmut; Ermel, Claudia; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike | - |
 | 2011 | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Ermel, Claudia; Orejas, Fernando | - |
 | 2013 | Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars | Gottmann, Susann; Hermann, Frank; Nachtigall, Nico; Braatz, Benjamin; Ermel, Claudia; Ehrig, Hartmut; Engel, Thomas | - |
 | 2011 | Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei | - |
 | 2009 | Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version | Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut | - |
 | 2010 | Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando | - |
 | 2010 | Efficient Process Analysis of Transformation Systems Based on Petri nets | Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara | - |
 | 2010 | Enterprise Modelling using Algebraic Graph Transformation - Extended Version | Brandt, Christoph; Hermann, Frank; Ehrig, Hartmut; Engel, Thomas | - |
 | 2009 | Evolution of Model Transformations by Model Refactoring: Long Version | Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia | - |
 | 2014 | Finitary M-adhesive categories | Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike | - |
 | 2010 | Finitary M-Adhesive Categories | Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike | - |
 | 2010 | Formal Analysis and Verication of Self-Healing Systems: Long Version | Ehrig, Hartmut; Ermel, Claudia; Runge, Olga; Bucchiarone, Antonio; Pelliccione, Patrizio | - |
 | 2010 | Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike | - |
 | 2014 | Formal analysis of model transformations based on triple graph grammars | Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando | - |
 | 2011 | A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications | Ehrig, Hartmut; Ermel, Claudia; Taentzer, Gabriele | - |
 | 2008 | From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars | Ehrig, Hartmut; Ehrig, Karsten; Hermann, Frank | - |