Franziska Bathelt-Tok

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Controller Synthesis

Service Composition

Top Venues

ICSOC Workshops

IEEE Intell. Informatics Bull.

Joint Workshop of the German Research Training Groups in Computer Science

Humboldt University of Berlin, Germany (PHD)

Education History

Humboldt University of Berlin, Germany

PHD

Publications

Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein
Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. ICHI (2014)
Franziska Bathelt-Tok
Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis. IEEE Intell. Informatics Bull. 15 (1) (2014)
Franziska Bathelt-Tok
Data-Dependent Controller Synthesis for Correct Service Composition. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Franziska Bathelt-Tok, Sabine Glesner, Oliver Blankenstein
Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. PervasiveHealth (2014)
Franziska Bathelt-Tok, Sabine Glesner
Towards the Automated Synthesis of Data Dependent Service Controllers. ICSOC Workshops (2013)