Daniel Stoehr

Willkommen bei SOAMED | Daniel Stoehr

Dipl.-Inf. Daniel Stöhr

Adresse:	Technische Universität Berlin Fachgebiet Programmierung eingebetteter Systeme Sekr. TEL 12-4 Ernst-Reuter-Platz 7 10587 Berlin
Telefon:
Telefax:
Homepage:	http://www.pes.tu-berlin.de/menue/ueber_uns/ehemalige_mitarbeiter/daniel_stoehr/
E-Mail:

Mitglied bei SOAMED seit:

01.11.2010 - 31.03.2014

2005 - 2010

Studium der Informatik, Technische Universität Berlin

Thema der Diplomarbeit:

"Modifizierung einer JVM für
effizienten Aspect-Dispatch in ObjectTeams/Java"

1998 - 2005

Abitur an der Oranke-Oberschule in Berlin

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" 7^th 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 7^th 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 4^th 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.