Home People Franziska Kühn

Franziska Kuehn

Franziska Kuehn
University of Lübeck
Institute of Telematics
Ratzeburger Allee 160
Building 64, 2nd Floor, Room 59
23562 Lübeck

Phone: +49 (451) 500-5392
E-Mail: kuehn@itm.uni-luebeck.de

Publications

2015

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE (Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz), In Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany (Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, eds.), GI, volume 239, 2015.

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

[bib]

2014

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices (Franziska Kühn, Martin Leucker, Alexander Mildner), In 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014 (Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, volume 36, 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},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  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}
}

[bib] [doi] [pdf]

Runtime Verification of Web Services for Interconnected Medical Devices (Normann Decker, Franziska Kühn, Daniel Thoma), In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, IEEE Computer Society, 2014.

@inproceedings{DBLP:conf/issre/DeckerKT14,
  author    = {Normann Decker and
               Franziska K{\"{u}}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}
}

[bib] [doi] [pdf]

2013

OR.NET: Safe Interconnection of Medical Devices - (Position Paper) (Franziska Kühn, Martin Leucker), In Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers (Jeremy Gibbons, Wendy MacCaull, eds.), Springer, volume 8315, 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}
}

[bib] [doi] [pdf]

Theses

There are currently no theses supervised by me.