Sibylle Schupp

Hamburg University of Technology, Universität Hamburg

Papers

Total Citations

H-Index

About

Sibylle Schupp’s research bridges formal verification and biomedical engineering, with a focus on safety-critical systems in medical robotics and imaging. Her work on needle steering in gelatin phantoms (2020, 4 citations) develops synthesis strategies for precise needle insertion, addressing a key challenge in minimally invasive procedures—reducing reinsertions and improving targeting accuracy under image guidance. She also applies model checking techniques to detect trigger loss during Doppler ultrasound-guided fetal cardiovascular MRI (2018, 2 citations), ensuring reliable synchronization in complex imaging workflows. Though her citation counts are modest, Schupp’s contributions are notable for their interdisciplinary rigor, combining algorithmic verification with real-world clinical constraints. Her research exemplifies how formal methods can enhance safety and precision in medical devices, particularly in scenarios where human feedback alone is insufficient. For students and researchers, Schupp’s work offers a compelling model of translating theoretical computer science into tangible healthcare solutions, demonstrating that even low-citation papers can pioneer critical advancements in niche but impactful domains.