Dominik Steenken

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Topics

Graph Transformation

Bounded Model Checking

Top Venues

Comput. Lang. Syst. Struct.

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Galina Besova, Dominik Steenken, Heike Wehrheim
Grammar-based model transformations: Definition, execution, and quality properties. Comput. Lang. Syst. Struct. 43 (2015)
Galina Besova, Dominik Steenken, Heike Wehrheim
Grammar-Based Model Transformations. FedCSIS (2014)
Tobias Isenberg, Dominik Steenken, Heike Wehrheim
Bounded Model Checking of Graph Transformation Systems via SMT Solving. FMOODS/FORTE (2013)
Claudia Priesterjahn, Dominik Steenken, Matthias Tichy
Component-based timed hazard analysis of self-healing systems. ASAS@ESEC/FSE (2011)
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
Sound and Complete Abstract Graph Transformation. SBMF (2011)
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
Towards A Shape Analysis for Graph Transformation Systems CoRR (2010)