Dominik Steenken

According to our database1, Dominik Steenken authored at least 9 papers between 2010 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Verification of infinite-state graph transformation systems via abstraction.
PhD thesis, 2015

Grammar-based model transformations: Definition, execution, and quality properties.
Comput. Lang. Syst. Struct., 2015

2014
Grammar-Based Model Transformations.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014


2013
Timed Hazard Analysis of Self-healing Systems.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Bounded Model Checking of Graph Transformation Systems via SMT Solving.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2011
Component-based timed hazard analysis of self-healing systems.
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Sound and Complete Abstract Graph Transformation.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010
Towards A Shape Analysis for Graph Transformation Systems
CoRR, 2010


  Loading...