Jonas Rinast

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 3

Top Topics

Respiratory Motion

Motion Prediction

Verification Method

Top Venues

Int. J. Comput. Assist. Radiol. Surg.

Hamburg University of Technology (PHD)

Education History

Hamburg University of Technology

PHD

Publications

Sven-Thomas Antoni, Jonas Rinast, Xintao Ma, Sibylle Schupp, Alexander Schlaefer
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. Int. J. Comput. Assist. Radiol. Surg. 11 (11) (2016)
Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. CURAC (2015)
Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. Software Engineering (Workshops) (2015)
Jonas Rinast, Sibylle Schupp, Dieter Gollmann
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. FM (2014)
Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. MCPS (2014)
Jonas Rinast, Sibylle Schupp
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. FORMATS (2012)