Three full research papers from researchers at the System Analysis and Modeling group have been accepted at the 15th International Conference on Graph Transformation (ICGT 2022):

Theoretical Advances

• Sven Schneider, Maria Maximova and Holger Giese: Probabilistic Metric Temporal Graph Logic

Application Domains

• Matthias Barkowsky and Holger Giese: Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness
• Sven Schneider, Maria Maximova and Holger Giese: Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction

The link to the Springer volume of the proceedings is here.