Jonas Rinast
According to our database1,
Jonas Rinast
authored at least 7 papers
between 2012 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
0
1
2
3
4
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy.
Int. J. Comput. Assist. Radiol. Surg., 2016
2015
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.
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.
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.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012