Daniel Stöhr

According to our database, Daniel Stöhr authored at least 6 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Automated composition of timed services in medical applications.

Daniel Stöhr

PhD thesis, 2014

2013

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking.

Daniel Stöhr, Sabine Glesner

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Design and verification of a health-monitoring driver assistance system.

Helena Gruhn, Daniel Stöhr, Mehmet Gövercin, Sabine Glesner

Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Towards Automated and Correct Composition of Timed Services.

Daniel Stöhr, Sabine Glesner

Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

2012

Automated Composition of Timed Services by Planning as Model Checking.

Daniel Stöhr, Sabine Glesner

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

2010

Optimizing Aspect-Oriented Mechanisms for Embedded Applications.

Christine Hundt, Daniel Stöhr, Sabine Glesner

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010