Franziska Kühn


University of Lübeck
Institute of Telematics
Ratzeburger Allee 160

23562 Lübeck
Gebäude 64, 2nd Floor, Raum 59

Email:kuehn(at)itm.uni-luebeck.de
Phone:+49 451 3101 6410
Fax:+49 451 3101 6404

Publications

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
    BibTeX
    @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
    BibTeX
    @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
    BibTeX
    @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
    BibTeX Link
    @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
    BibTeX Link
    @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
    BibTeX Link
    @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}
    }
    
    

Theses

There are currently no theses supervised by me.