The following publications are possibly variants of this publication:
- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange. MoDELS 2009: 241-255 [doi]
- Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application ConditionsHartmut Ehrig, Frank Hermann, Christoph Sartorius. eceasst, 18, 2009. [doi]
- Model synchronization based on triple graph grammars: correctness, completeness and invertibilityFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel. SoSyM, 14(1):241-269, 2015. [doi]
- Correctness of Model Synchronization Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong. MoDELS 2011: 668-682 [doi]
- Efficient analysis and execution of correct and complete model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. MoDELS 2010: 22-31 [doi]
- Precise Semantics of EMF Model Transformations by Graph TransformationEnrico Biermann, Claudia Ermel, Gabriele Taentzer. MoDELS 2008: 53-67 [doi]
- Towards Domain Completeness for Model Transformations Based on Triple Graph GrammarsNico Nachtigall, Frank Hermann 0001, Benjamin Braatz, Thomas Engel. staf 2014: 46-55 [doi]
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule TransformationHartmut Ehrig, Claudia Ermel. gg 2008: 194-210 [doi]
- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Claudia Ermel, Fernando Orejas. FASE 2012: 178-193 [doi]