Autor/in Antoni, Sven-Thomas Schlaefer, Alexander 7 Schupp, Sibylle Lehmann, Sascha 4 Adam, Gerhard 2 Fehrs, Kai 2 Kording, Fabian 2 Ma, Xintao 2 Neidhardt, Maximilian 2 Rinast, Jonas 2 Ruprecht, Christian 2 alle zeigenListe einklappen
A quantitative metric temporal logic for execution-time constrained verification Lehmann, Sascha Antoni, Sven-Thomas Schlaefer, Alexander Schupp, Sibylle 2019 - TUHH Open Research
An online model checking approach to soft-tissue detection for rupture Antoni, Sven-Thomas Lehmann, Sascha Schupp, Sibylle Schlaefer, Alexander 2019 - TUHH Open Research
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - TUHH Open Research
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - Forschungsinformationssystem des UKE
Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts Antoni, Sven-Thomas Ma, Xintao Schupp, Sibylle Schlaefer, Alexander 2016 - TUHH Open Research
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy Antoni, Sven-Thomas Rinast, Jonas Ma, Xintao Schupp, Sibylle Schlaefer, Alexander 2016 - TUHH Open Research
Comparing model-free motion prediction and on-line model checking for respiratory motion management Antoni, Sven-Thomas Rinast, Jonas Schupp, Sibylle Schlaefer, Alexander 2015 - TUHH Open Research