direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Search
Software Engineering and Theoretical Computer ScienceSoftware and Embedded Systems Engineering
Order by: Author Year Journal
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.
Go to: