Towards A Shape Analysis for Graph Transformation Systems - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (CoRR, 2010)

Sound and Complete Abstract Graph Transformation. - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (SBMF, 2011)

Component-based timed hazard analysis of self-healing systems. - Claudia Priesterjahn; Dominik Steenken; Matthias Tichy (ASAS@ESEC/FSE, 2011)

Bounded Model Checking of Graph Transformation Systems via SMT Solving. - Tobias Isenberg 002; Dominik Steenken; Heike Wehrheim (FMOODS/FORTE, 2013)

Timed Hazard Analysis of Self-healing Systems. - Claudia Priesterjahn; Dominik Steenken; Matthias Tichy (Assurances for Self-Adaptive Systems, 2013)

Methods for the Design and Development. - Harald Anacker; Michael Dellnitz; Kathrin Flaßkamp; Stefan Groesbrink; Philip Hartmann; Christian Heinzemann; Christian Horenkamp; Bernd Kleinjohann; Lisa Kleinjohann; Sebastian Korf; Martin Krüger; Wolfgang Müller 003; et al. (Design Methodology for Intelligent Technical Systems, 2014)

Grammar-Based Model Transformations. - Galina Besova; Dominik Steenken; Heike Wehrheim (FedCSIS, 2014)

Grammar-based model transformations: Definition, execution, and quality properties. - Galina Besova; Dominik Steenken; Heike Wehrheim (Comput. Lang. Syst. Struct., 2015)

Verification of infinite-state graph transformation systems via abstraction. - Dominik Steenken (2015)