Browse by Author Ehrig, Hartmut

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 
Showing results 1 to 20 of 34
  » 
PreviewIssue DateTitleAuthor(s)Editor(s)
tr_2013-02.pdf.jpg2013Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended VersionMaximova, Maria; Ehrig, Hartmut; Ermel, Claudia-
analysis_of_permutation_equivalence_in.pdf.jpg2014Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditionsHermann, Frank; Corradini, Andrea; Ehrig, Hartmut-
tr-2008-12.pdf.jpg2008Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed ContextsRangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Bladan, Paolo-
tr-2009-03.pdf.jpg2009Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)Ehrig, Hartmut; Hermann, Frank; Sartorius, Christoph-
tr-2007-02.pdf.jpg2007Concurrency in Reconfigurable Place/SystemsEhrig, Hartmut; Ermel, Claudia; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike-
tr_2011-14.pdf.jpg2011Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Ermel, Claudia; Orejas, Fernando-
tr_2013-08.pdf.jpg2013Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph GrammarsGottmann, Susann; Hermann, Frank; Nachtigall, Nico; Braatz, Benjamin; Ermel, Claudia; Ehrig, Hartmut; Engel, Thomas-
tr_2011-07.pdf.jpg2011Correctness of Model Synchronization Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei-
tr-2009-09.pdf.jpg2009Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long VersionOrejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut-
tr_2010-13.pdf.jpg2010Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
tr_2010-03.pdf.jpg2010Efficient Process Analysis of Transformation Systems Based on Petri netsHermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara-
tr_2010-06.pdf.jpg2010Enterprise Modelling using Algebraic Graph Transformation - Extended VersionBrandt, Christoph; Hermann, Frank; Ehrig, Hartmut; Engel, Thomas-
tr-2009-04.pdf.jpg2009Evolution of Model Transformations by Model Refactoring: Long VersionEhrig, Hartmut; Ehrig, Karsten; Ermel, Claudia-
finitary_mathcalmadhesive_categories.pdf.jpg2014Finitary M-adhesive categoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
tr_2010-12.pdf.jpg2010Finitary M-Adhesive CategoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
tr_2010-04.pdf.jpg2010Formal Analysis and Verication of Self-Healing Systems: Long VersionEhrig, Hartmut; Ermel, Claudia; Runge, Olga; Bucchiarone, Antonio; Pelliccione, Patrizio-
tr_2010-08.pdf.jpg2010Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike-
formal_analysis_of_model_transformations.pdf.jpg2014Formal analysis of model transformations based on triple graph grammarsHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
tr_2011-01.pdf.jpg2011A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph ModicationsEhrig, Hartmut; Ermel, Claudia; Taentzer, Gabriele-
tr-2008-03.pdf.jpg2008From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph GrammarsEhrig, Hartmut; Ehrig, Karsten; Hermann, Frank-