Karsten Ehrig

Claudia Ermel, Karsten Ehrig: Graph Modelling and Transformation: Theory meets Practice. ECEASST 30 (2010)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent integration of models based on views of meta models. Formal Asp. Comput. 22(3-4): 327-344 (2010)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel: Refactoring of Model Transformations. ECEASST 18 (2009)

Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer: Generating instance models from meta models. Software and System Modeling 8(4): 479-500 (2009)

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. ASE 2009: 625-629

Hartmut Ehrig, Karsten Ehrig, Frank Hermann: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. ECEASST 10 (2008)

Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen Malte Küster: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. Electr. Notes Theor. Comput. Sci. 211: 159-170 (2008)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76

Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig: Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC 2008: 21-28

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)

Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3): 139-163 (2007)

Claudia Ermel, Karsten Ehrig: Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE 2007: 265-280

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer: The EMF Model Transformation Framework. AGTIVE 2007: 566-567

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer: Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE 2007: 583-584

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86

Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss: Object Oriented and Rule-based Design of Visual Languages using Tiger. ECEASST 1 (2006)

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss: EMF Model Refactoring based on Graph Transformation Concepts. ECEASST 3 (2006)

Claudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4 (2006)

Hartmut Ehrig, Karsten Ehrig: Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. Electr. Notes Theor. Comput. Sci. 152: 3-22 (2006)

Karsten Ehrig, Jessica Winkelmann: Model Transformation From VisualOCL to OCL Using Graph Transformation. Electr. Notes Theor. Comput. Sci. 152: 23-37 (2006)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen: Towards Model Transformation in Generated Eclipse Editor Plug-Ins. Electr. Notes Theor. Comput. Sci. 152: 39-52 (2006)

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Inform. 74(1): 31-61 (2006)

Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann: Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Inform. 74(1): 135-166 (2006)

Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann: Generating Instance Models from Meta Models. FMOODS 2006: 156-170

Karsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. MoDELS 2006: 425-439

Luciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199

Claudia Ermel, Karsten Ehrig: View Transformation in Visual Environments applied to Algebraic High-Level Nets. Electr. Notes Theor. Comput. Sci. 127(2): 61-86 (2005)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. Electr. Notes Theor. Comput. Sci. 127(4): 127-143 (2005)

Karsten Ehrig, Jürgen Braun, Thomas Tolxdorff: Interaktive Segmentierung von Hirninfarkten mittels Snake-Verfahren. Bildverarbeitung für die Medizin 2005: 98-102

Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering 2005

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Generation of visual editors as eclipse plug-ins. ASE 2005: 134-143

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. VL/HCC 2005: 71-78

Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig: Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electr. Notes Theor. Comput. Sci. 109: 17-29 (2004)

Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann: Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT 2004: 287-303