Dr.-Ing. Daniel Stöhr

Stöhr, D. (2014). Automated composition of timed services in medical applications. Dissertation

Stöhr, D. and Glesner, S. (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.

Gruhn, H., Stöhr, D., Gövercin, M. and Glesner, S. (2013). Design and Verification of a Health-Monitoring Driver Assistance System. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .

Stöhr, D. and Glesner, S. (2013). Towards Automated and Correct Composition of Timed Services. Service-Oriented Computing - ICSOC 2012 Workshops. Springer Berlin Heidelberg, 319-331.

Stöhr, D. and Glesner, S. (2012). Automated Composition of Timed Services by Planning as Model Checking. Proceedings of the 4th Central European Workshop on Services and their Composition. CEUR-WS.org.

Hundt, C., Stöhr, D. and Glesner, S. (2010). Optimizing Aspect-oriented Mechanisms for Embedded Applications. TOOLS 2010. Springer, Heidelberg, 137-153.