Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. - Jonas Rinast; Sibylle Schupp (FORMATS, 2012)

A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. - Jonas Rinast; Sibylle Schupp; Dieter Gollmann (FM, 2014)

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. - Xintao Ma; Jonas Rinast; Sibylle Schupp; Dieter Gollmann (MCPS, 2014)

Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. - Sven-Thomas Antoni; Jonas Rinast; Sibylle Schupp; Alexander Schlaefer (CURAC, 2015)

Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. - Sven-Thomas Antoni; Jonas Rinast; Sibylle Schupp; Alexander Schlaefer (Software Engineering (Workshops), 2015)

An online model-checking framework for timed automata. - Jonas Rinast (2015)

Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. - Sven-Thomas Antoni; Jonas Rinast; Xintao Ma; Sibylle Schupp; Alexander Schlaefer (Int. J. Comput. Assist. Radiol. Surg., 2016)