2018

• Kühn, Franziska and Hellbrück, Horst and Fischer, Stefan: A Model-based Approach for Self-healing IoT Systems - Position Paper. in Proceedings of the 7th International Conference on Sensor Networks, SENSORNETS, pp. 135-140, SciTePress, January, 2018
  

  @inproceedings{Kuehn2018SelfHealingSystems,
   author    = {K{\"{u}}hn, Franziska and Hellbr{\"{u}}ck, Horst and Fischer, Stefan},
    title     = {A Model-based Approach for Self-healing IoT Systems - Position Paper},
    booktitle = {Proceedings of the 7th International Conference on Sensor Networks,
                 {SENSORNETS}},
    location  = {Funchal, Madeira, Portugal},
    year      = {2018},
    month =  {January},
    pages     = {135--140},
    publisher = {SciTePress},
    isbn = {}
  }

2017

• Franziska Kühn and Daniel Thoma and Dennis Labitzke and Stefan Fischer: Monitoring as a Service for Networked Medical Cyber-Physical Systems. in 11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), IEEE Computer Society, Beijing, China, 29. October, 2017
  

  @InProceedings{Kuehn2017MonitoringCPS,
    author    = {Franziska K{\"{u}}hn and Daniel Thoma and Dennis Labitzke and Stefan Fischer},
    title     = {{Monitoring as a Service for Networked Medical Cyber-Physical Systems}},
    booktitle = {11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2017)},
    year      = {2017},
    month = {29. October},
    address= {Beijing, China},
    publisher = {{IEEE} Computer Society},
    pubstate  = {inpress}
  }

2015

• Timm B. Busshaus and Stefan Fischer and Franziska Kühn and Martin Leucker and Alexander Mildner and Malte Schmitz: Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. in Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MA, no. 239, pp. 243-248, GI, Dresden, Germany, März 17 - 20, 2015
  

  @inproceedings{DBLP:conf/se/Busshaus0KLMS15,
    author    = {Timm B. Busshaus and Stefan Fischer and Franziska Kühn and Martin Leucker and Alexander Mildner and Malte Schmitz},
    title    = {{Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE}},
    booktitle    = {Software Engineering {\&} Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik (WI), {FA} WI-MA},
    editor    = {Uwe Assmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
    year      = {2015},
    month = {17.-20. März},
    address = {Dresden, Germany},
    series    = {LNI},
    volume    = {239},
    pages     = {243--248},
    publisher = {GI},
    biburl    = {http://dblp.uni-trier.de/rec/bib/conf/se/Busshaus0KLMS15},
    bibsource = {dblp computer science bibliography, http://dblp.org}
  }

2014

• Normann Decker and Kühn and Daniel Thoma: Runtime Verification of Web Services for Interconnected Medical Devices. in 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 235-244, IEEE Computer Society, 2014
  

  @inproceedings{DBLP:conf/issre/DeckerKT14,
    author    = {Normann Decker and
                 Franziska Kühn and
                 Daniel Thoma},
    title     = {Runtime Verification of Web Services for Interconnected Medical Devices},
    booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering,
                 {ISSRE} 2014, Naples, Italy, November 3-6, 2014},
    pages     = {235--244},
    publisher = {{IEEE} Computer Society},
    year      = {2014},
    url       = {http://dx.doi.org/10.1109/ISSRE.2014.16},
    doi       = {10.1109/ISSRE.2014.16},
    timestamp = {Tue, 05 May 2015 17:00:41 +0200},
    biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issre/DeckerKT14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
  }
  
  

• Franziska Kühn and Martin Leucker and Alexander Mildner: OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. in 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, no. 36, pp. 133-136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014
  

  @inproceedings{DBLP:conf/mcps/KuhnLM14,
    author    = {Franziska K{\"u}hn and Martin Leucker and Alexander Mildner},
    editor    = {Volker Turau and Marta Z. Kwiatkowska and Rahul Mangharam and Christoph Weyer},
    title     = {{{OR.NET} - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices}},
    booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin, Germany, April 14, 2014},
    series    = {{OASICS}},
    volume    = {36},
    pages     = {133--136},
    year      = {2014},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
    url       = {http://dx.doi.org/10.4230/OASIcs.MCPS.2014.133},
    doi       = {10.4230/OASIcs.MCPS.2014.133},
    timestamp = {Thu, 22 Jan 2015 08:01:54 +0100},
    biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mcps/KuhnLM14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
  }
  
  

2013

• Franziska Kühn and Martin Leucker: OR.NET: Safe Interconnection of Medical Devices - (Position Paper). in Foundations of Health Information Engineering and Systems - Third Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers, no. 8315, pp. 188-198, Springer, 2013
  

  @inproceedings{DBLP:conf/fhies/KuhnL13,
    author    = {Franziska K{\"{u}}hn and
                 Martin Leucker},
    editor    = {Jeremy Gibbons and
                 Wendy MacCaull},
    title     = {{OR.NET:} Safe Interconnection of Medical Devices - (Position Paper)},
    booktitle = {Foundations of Health Information Engineering and Systems - Third
                 International Symposium, {FHIES} 2013, Macau, China, August 21-23,
                 2013. Revised Selected Papers},
    series    = {Lecture Notes in Computer Science},
    volume    = {8315},
    pages     = {188--198},
    publisher = {Springer},
    year      = {2013},
    url       = {http://dx.doi.org/10.1007/978-3-642-53956-5_13},
    doi       = {10.1007/978-3-642-53956-5_13},
    timestamp = {Mon, 13 Jan 2014 15:10:45 +0100},
    biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fhies/KuhnL13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
  }