Optimizing Aspect-Oriented Mechanisms for Embedded Applications. - Christine Hundt; Daniel Stöhr; Sabine Glesner (TOOLS (48), 2010)

Automated Composition of Timed Services by Planning as Model Checking. - Daniel Stöhr; Sabine Glesner (ZEUS, 2012)

Towards Automated and Correct Composition of Timed Services. - Daniel Stöhr; Sabine Glesner (ICSOC Workshops, 2013)

Design and verification of a health-monitoring driver assistance system. - Helena Gruhn; Daniel Stöhr; Mehmet Gövercin; Sabine Glesner (PervasiveHealth, 2013)

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. - Daniel Stöhr; Sabine Glesner (TASE, 2013)

Automated composition of timed services in medical applications. - Daniel Stöhr (2014)