According to our database1, Franziska Bathelt-Tok authored at least 6 papers between 2013 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis.
IEEE Intell. Informatics Bull., 2014
Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices.
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.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014
Data-Dependent Controller Synthesis for Correct Service Composition.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013