Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver. - Jan Kühn; Pierre Schoonbrood; André Stollenwerk; Christian Brendle; Nabil Wardeh; Marian Walter; Rolf Rossaint; Steffen Leonhardt; Stefan Kowalewski; Rüdiger Kopp (Software Engineering (Workshops), 2015)

Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. - André Stollenwerk; Jan Kühn; Marian Walter; Christian Brendle; Nabil Wardeh; Rolf Rossaint; Steffen Leonhardt; Stefan Kowalewski; Rüdiger Kopp (Software Engineering (Workshops), 2015)

Abstract Interpretation for Block Diagrams - Two Case Studies. - Christian Dernehl; Jan Kühn; Stefan Kowalewski (MoDeVVa@MoDELS, 2016)

Sensor Supervision and Control Value Limitations in Networked Intensive Care. - Jan Kühn; André Stollenwerk; Christian Brendle; Thorsten Janisch; Marian Walter; Rolf Rossaint; Steffen Leonhardt; Stefan Kowalewski; Rüdiger Kopp (Software Engineering (Workshops), 2016)

Continuous gas transfer monitoring during extracorporeal membrane oxygenation. - Christian Brendle; K.-F. Hackmack; Jan Kühn; Nabil Wardeh; Thorsten Janisch; Rüdiger Kopp; Rolf Rossaint; André Stollenwerk; Stefan Kowalewski; Berno J. E. Misgeld; Steffen Leonhardt; Marian Walter (Biomed. Signal Process. Control., 2017)

An Application-Specific Field-Programmable Tree Ensemble Architecture. - Jan Kühn; Yiannos Manoli (FPL, 2018)

Case studies on automated verification with slope boundaries for block diagrams. - Christian Dernehl; Jan Kühn; Stefan Kowalewski (Comput. Lang. Syst. Struct., 2018)

A modular and verifiable software architecture for interconnected medical systems in intensive care. - Marc Wiartalla; Frederik Berg; Florian Ottersbach; Jan Kühn; Mateusz Buglowski; Stefan Kowalewski; André Stollenwerk (FedCSIS (Communication Papers), 2023)