SLE 2020 paper:
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars

Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer

DOI: 10.1145/3426425.3426931
T3B: Transformation Languages
- The paper’s central topic is specifying or applying transformations (rewriting/mapping/synchronisation).
T4A: Workbenches
- It includes substantial tool support or infrastructure relevant for engineering/using languages.
T5D: Formal Methods
- It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T4B: Horizontal Transformation
- It performs mapping/conversion/synchronisation between representations (horizontal transformations).

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.