Jan Kühn

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Abstract Interpretation

Pruning Algorithm

Software Architecture

Top Venues

Software Engineering (Workshops)

Biomed. Signal Process. Control.

Comput. Lang. Syst. Struct.

Publications

Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Kühn, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk
A modular and verifiable software architecture for interconnected medical systems in intensive care. FedCSIS (Communication Papers) (2023)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54 (2018)
Jan Kühn, Yiannos Manoli
An Application-Specific Field-Programmable Tree Ensemble Architecture. FPL (2018)
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
Continuous gas transfer monitoring during extracorporeal membrane oxygenation. Biomed. Signal Process. Control. 31 (2017)
Jan Kühn, André Stollenwerk, Christian Brendle, Thorsten Janisch, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Sensor Supervision and Control Value Limitations in Networked Intensive Care. Software Engineering (Workshops) (2016)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS (2016)
André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. Software Engineering (Workshops) (2015)
Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver. Software Engineering (Workshops) (2015)