OR.NET: Safe Interconnection of Medical Devices - (Position Paper). - Franziska Kühn; Martin Leucker (FHIES, 2013)

Runtime Verification of Web Services for Interconnected Medical Devices. - Normann Decker; Franziska Kühn; Daniel Thoma (ISSRE, 2014)

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. - Franziska Kühn; Martin Leucker; Alexander Mildner (MCPS, 2014)

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. - Timm B. Bußhaus; Stefan Fischer 001; Franziska Kühn; Martin Leucker; Alexander Mildner; Malte Schmitz 001 (Software Engineering & Management, 2015)

Monitoring as a service for networked medical cyber-physical systems. - Franziska Kühn; Daniel Thoma; Dennis Labitzke; Stefan Fischer 001 (IECON, 2017)

A Model-based Approach for Self-healing IoT Systems - Position Paper. - Franziska Kühn; Horst Hellbrück; Stefan Fischer 001 (SENSORNETS, 2018)