direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Daniel Stöhr

Publications

2014


2013

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.


2012

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.


2010

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


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe