Author of the publication

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver.

, , , , , , , , , and . Software Engineering (Workshops), volume 1337 of CEUR Workshop Proceedings, page 19-23. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver., , , , , , , , , and . Software Engineering (Workshops), volume 1337 of CEUR Workshop Proceedings, page 19-23. CEUR-WS.org, (2015)Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data., , , , , , , , and . Software Engineering (Workshops), volume 1337 of CEUR Workshop Proceedings, page 1-6. CEUR-WS.org, (2015)An Application-Specific Field-Programmable Tree Ensemble Architecture., and . FPL, page 445-446. IEEE Computer Society, (2018)Sensor Supervision and Control Value Limitations in Networked Intensive Care., , , , , , , , and . Software Engineering (Workshops), volume 1559 of CEUR Workshop Proceedings, page 187-194. CEUR-WS.org, (2016)Abstract Interpretation for Block Diagrams - Two Case Studies., , and . MoDeVVa@MoDELS, volume 1713 of CEUR Workshop Proceedings, page 20-29. CEUR-WS.org, (2016)Case studies on automated verification with slope boundaries for block diagrams., , and . Computer Languages, Systems & Structures, (2018)Continuous gas transfer monitoring during extracorporeal membrane oxygenation., , , , , , , , , and 2 other author(s). Biomed. Signal Proc. and Control, (2017)