Selected Publications

Papers 2014

Authors Title Type of Publication

X. Ma, J. Rinast, S. Schupp,
Dieter Gollmann

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study

accepted for 5th Medical Cyber
Physical Systems Workshop (MedicalCPS'14)


Papers 2013

Authors Title Type of Publication
A. Koops, B.T. Bradford,
D. Schroeder, W.H. Kraut-schneider, G. Adam,
J.H. Buhk
An integrated stentgraft for noninvasive 4-dimensional aneurysm sac pressure monitoring after endovascular aortic aneurysm repair (EVAR): First in vivo results in a porcine model Journal of Vascular and Interventional Radiology, vol. 24, no. 4, p. 176, 2013
S. Lewis, M. Russold, H. Dietl, R. Ruff, J.M. Cardona Audi, K.-P. Hoffmann, L. Abu-Saleh, D. Schroeder, W.H. Kraut-schneider, S. Westendorff, A. Gail, T. Meiners, E. Kaniusas Fully implantable multi-channel
measurement system for acquisition of muscle activity
IEEE Transactions on Instrumentation & Measurement, vol. 62 (2013), no. 7, pp. 1972–1981
T. Lipka, J. Amthor, H.K. Trieu, J. Müller On-chip biosensing with high Q amorphous silicon microdisk resonators Proceedings AMA Sensor (Association for Sensor Technology) 2013
J.M. Marcinczak, S. Kumar,
R.-R. Grigat
Detection of lymphangiectasia in laparoscopic images: a semiinteractive approach International Journal of Computer Assisted Radiology and Surgery, 2013, 8, 365– 366
J. Rinast, S. Schupp, D. Gollmann State space reconstruction for on-line model checking with UPPAAL The Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Oct. 2013, to appear.
C. Terasa, S. Schupp Annotation-guided soft-error injection 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES’13)
P. Weitkemper, G. Bauch Analysis of distributed interleave division multiplexing space-frequency-codes Transactions on Emerging Tele-
communications Technologies, Special Issue: Multi-Carrier Transmission, LTE & LTE-Advanced, vol. 24, no. 3, pp.102–112, 2013.
G. Zhou, W. Xu, G. Bauch Reliability based bit-level interference cancellation with soft-output MIMO decoder International Conference on Systems, Communications and Coding (SCC), January 21–24, 2013, Munich, Germany.



Papers 2012

Authors Title Type of Publication
L. Abu-Saleh, W. Galjan,
J. Tomasik, D.Schroeder, W.H. Krautschneider
A 130nm ASIC for EMG signal acquisition to control a hand prosthetic Proceedings BIOSTEC 2012, p. 149, 2012
C. An, Y. Luo, A. Timm-Giel Switching of routing algorithms in wireless networks for fire fighting 4th International Conference on Mobile Networks and Management Monami 2012, Hamburg Germany, Sept. 24-26, 2012
W. Betz, H.K. Trieu, H. Vogt Microelectromechanical implants: Encapsulation concepts and test procedures BMT 2012, Jena, 16.-19. September 2012

A. Bosien, V. Turau, F. Zam-

Approaches to fast sequential inventory and path following in RFID-enriched environments International Journal of Radio Frequency Identification Technology and Applications, 4(1):28–48, 2012
B.T. Bradford, W. Kraut-schneider, D. Schroeder Wireless power transmission for powering medical implants situated in an abdominal aortic aneurysm Tagungsband BMT 2012, Jena, 16.-19. September 2012, pp. 887–890

K. Dembowski, H.K. Trieu,
T. Trockels

Energieautarke automatische EKG-Erfassung mit drahtloser Datenübertragung für die Langzeitdiagnose GMA/ITG-Fachtagung Sensoren und Messsysteme 2012, Nürnberg, 22.-23. Mai 2012
E. Fanourgakis, S. Schupp QoS properties of biomedical wireless sensor networks: An empirical comparison of two models Poster in Jahrestagung Gesellschaft f. Medizinische Datenverarbeitung (GMDS) 2012, Braunschweig, Sept. 2012
D. Gollmann Veracity, plausibility, and reputation Proceedings WISTP 2012, Springer, IFIP Publications, LNCS 7322, pp. 20–28, 2012
S. Köhler, V. Turau Fault-containing self-stabilization in asynchronous systems with constant fault-gap Distributed Computing, 25(3):207-224, 2012
J.M. Marcinczak, U. von Öhsen, R.-R. Grigat A robust motion estimation system for minimal invasive laparoscopy SPIE Medical Imaging 2012, San Diego, USA, 4.-9. February 2012
A.F. Marmol-Velez, J. Marek Marcinczak, R.-R. Grigat Structure from motion based approaches to 3D reconstruction in minimal invasive laparoscopy ICIAR 2012, Aveiro, Portugal, June 25-27 2012
M.A. Meza-Cuevas, K. Ra-
mesh, D.Schroeder, W.H. Krautschneider
Hybrid architecture of a DAC for
Proceedings BMEiCON 2012
M.A. Meza-Cuevas, D. Schroeder, W.H. Kraut-
Neuromuscular electrical stimulation using different waveforms: properties comparison by applying single pulses Proceedings International Conference BioMedical Engineering and Informatics, p.840, 2012
U. von Öhsen, J.M. Mar-
cinczak, A. Velez, R. Grigat
Keyframe selection for robust pose estimation in laparoscopic videos Proceedings of SPIE Medical Imaging, 2012, 8316, 83160Y
J. Rinast, S. Schupp Static detection of zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics 10th Internat. Conf. on Formal Modeling and Analysis of Timed Systems, London, Sept. 2012
S. Unterschütz, V. Turau Fail-Safe over-the-air programming and error recovery in wireless networks In Proceedings of the 10th Workshop on Intelligent Solutions in Embedded Systems (WISES'12), Juni 2012
S. Unterschütz, V. Turau Reliable signaling an emergency shutdown in large-scale, wireless controlled industrial plants Proceedings of the 10th ACM International Symposium on Mobility Management and
Wireless Access (MOBIWAC’12) November 2012. Cyprus
A. Urbaszek, H.K. Trieu,
T. Traulsen, W. Mokwa,
T. Schmitz-Rode
Implantable pressure aensor as a key element for new therapeutic approaches to heart failure – the COMPASS Project Microsystems Technology in Germany 2012. ISSN 2191-7183
D. Lujan Villarreal,
D. Schroeder, W. H. Kraut-
Equivalent circuit model to simulate the neuromuscular electrical stimulation Proceedings ICT.Open, Rotterdam, 2012




Author Supervisor Title Type of thesis Year
X. Ma S. Schupp Model Checking of a Closed-Loop Medical Device System in Uppaal Project 2013
J. Happel H. K. Trieu Evaluierung und Entwicklung elektronischer Verfahren für die mobile Pedographie Diploma 2012
S. Ludwig H. K. Trieu Entwicklung eines drahtlosen Pulsoximeters mit digitaler Signalverarbeitung unter Berücksichtigung physiologischer Effekt und standardisiertem Funkinterface Diploma 2012
D. Da Veiga Leal H. K. Trieu Datenlogger für die Messwertverarbeitung von Sensorknoten Diploma 2012
S. Aytac H. K. Trieu Funkübertragung von Vitalparametern Diploma 2012
E. Fanourgakis S. Schupp Modelling and Verification of QoS properties of a Biomedical Wireless Sensor Network Project 2012
T. Kaupat S. Schupp,
A. Timm-Giel
Reverse Engineering and Analysis of a RS-232 based Protocol for Reimplementation
(in cooperation with Olympus Winter & Ibe)
Diploma 2012
V. Kebenko S. Schupp,
A. Timm-Giel
Das risikoorientierte und automatisierte Testen einer medizinischen Software mit Hilfe von Black-Box-Regenerationstest
(in cooperation with Seca)
Master 2012
G. Munkby S. Schupp,
D. Gollmann
Type-Based Software-Implemented Hardware Tolerance Ph.D.  2012