Sibylle Schupp

Rensselaer Polytechnic Institute, Troy, NY, United States 
Computer Science
"Sibylle Schupp"
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Antoni ST, Rinast J, Ma X, et al. (2016) Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. International Journal of Computer Assisted Radiology and Surgery
Schlaefer A, Schupp S, Stollenwerk A. (2016) 2nd workshop on fail safety in medical cyber-physical systems (FS-MCPS) Ceur Workshop Proceedings. 1559: 172-173
Antoni ST, Ma X, Schupp S, et al. (2016) Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts Ceur Workshop Proceedings. 1559: 182-186
Mattsen S, Wichmann A, Schupp S. (2015) A non-convex abstract domain for the value analysis of binaries 2015 Ieee 22nd International Conference On Software Analysis, Evolution, and Reengineering, Saner 2015 - Proceedings. 271-280
Wichmann A, Schupp S. (2015) Matching machine-code functions in executables within one product line via bioinformatic sequence alignment 2015 Ieee 5th Workshop On Mining Unstructured Data, Mud 2015 - Proceedings
Antoni ST, Rinast J, Schupp S, et al. (2015) Comparing model-free motion prediction and on-line model checking for respiratory motion management Ceur Workshop Proceedings. 1337: 15-18
Ma X, Rinast J, Schupp S, et al. (2014) Evaluating on-line model checking in UPPAAL-SMC using a laser tracheotomy case study Openaccess Series in Informatics. 36: 100-112
Toprak S, Wichmann A, Schupp S. (2014) Lightweight structured visualization of assembler control flow based on regular expressions Proceedings - 2nd Ieee Working Conference On Software Visualization, Vissoft 2014. 97-106
Haeri SH, Schupp S. (2014) Distributed lazy evaluation: A big-step mechanised semantics Proceedings - 2014 22nd Euromicro International Conference On Parallel, Distributed, and Network-Based Processing, Pdp 2014. 751-755
Heing-Becker M, Kamph T, Schupp S. (2014) Bit-error injection for software developers 2014 Software Evolution Week - Ieee Conference On Software Maintenance, Reengineering, and Reverse Engineering, Csmr-Wcre 2014 - Proceedings. 434-439
See more...