Jonas Rinast

According to our database, Jonas Rinast authored at least 7 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

2015

An online model-checking framework for timed automata.

Jonas Rinast

PhD thesis, 2015

Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.

Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie.

Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer

Proceedings of the 14. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, 2015

2014

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

Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.

Jonas Rinast, Sibylle Schupp, Dieter Gollmann

Proceedings of the FM 2014: Formal Methods, 2014

2012

Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.

Jonas Rinast, Sibylle Schupp

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012