Franziska Bathelt-Tok

According to our database, Franziska Bathelt-Tok authored at least 6 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Controller-Synthese für Services mit Daten.

Franziska Bathelt-Tok

PhD thesis, 2017

2014

Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis.

Franziska Bathelt-Tok

IEEE Intell. Informatics Bull., 2014

Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices.

Franziska Bathelt-Tok, Sabine Glesner, Oliver Blankenstein

Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014

Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System.

Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Data-Dependent Controller Synthesis for Correct Service Composition.

Franziska Bathelt-Tok

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Towards the Automated Synthesis of Data Dependent Service Controllers.

Franziska Bathelt-Tok, Sabine Glesner

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013