Publikationen
2013 |
D. Stöhr and S. Glesner:
"Towards Automated Correct Composition of Timed Services"
Service-oriented Computing - ICSOC 2012 Workshops (WE-SOA@ICSOC'12). Springer Berlin Heidelberg, 2013, pp. 319- 331 |
2013 |
D. Stöhr and S. Glesner:
"Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking"
7th International Symposium Theoretical Aspects of Software Engineering (TASE'13), IEEE Computer Society, pp. 7-14.
|
2013 |
H. Gruhn, D. Stöhr, M. Gövercin and S. Glesner:
"Design and Verification of a Health-Monitoring Driver Assistant System"
Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, pp. 266-267. |
2012 |
Daniel Stöhr, Sabine Glesner:
"Automated Composition of Timed Services by Planning as Model Checking"
Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS'12), Bamberg, Germany, volume 847 of CEUR Workshop Proceedings, CEUR-WS.org, 2012
|
2010 |
Christine Hundt, Daniel Stöhr and Sabine Glesner:
"Optimizing Aspect-oriented Mechanisms for Embedded Applications"
Tools 2010. Springer, Heidelberg, 137-153.
|
|