The following publications are possibly variants of this publication:
- 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 Incremental Model Synchronization with Triple Graph GrammarsFernando Orejas, Elvira Pino. ICMT 2014: 74-90 [doi]
- 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]
- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph GrammarsSusann Gottmann, Frank Hermann 0001, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel. MoDELS 2013: [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]
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. gg 2010: 155-170 [doi]