Towards the Automated Synthesis of Data Dependent Service Controllers. - Franziska Bathelt-Tok; Sabine Glesner (ICSOC Workshops, 2013)

Data-Dependent Controller Synthesis for Correct Service Composition. - Franziska Bathelt-Tok (Joint Workshop of the German Research Training Groups in Computer Science, 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 (ICHI, 2014)

Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. - Franziska Bathelt-Tok; Sabine Glesner; Oliver Blankenstein (PervasiveHealth, 2014)

Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis. - Franziska Bathelt-Tok (IEEE Intell. Informatics Bull., 2014)

Controller-Synthese für Services mit Daten. - Franziska Bathelt-Tok (2017)