Jan Kühn

According to our database, Jan Kühn authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, 2023

2018

Case studies on automated verification with slope boundaries for block diagrams.

Christian Dernehl, Jan Kühn, Stefan Kowalewski

Comput. Lang. Syst. Struct., 2018

An Application-Specific Field-Programmable Tree Ensemble Architecture.

Jan Kühn, Yiannos Manoli

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

2017

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

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

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Abstract Interpretation for Block Diagrams - Two Case Studies.

Christian Dernehl, Jan Kühn, Stefan Kowalewski

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

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

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

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

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015