{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T19:09:03Z","timestamp":1762542543394},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2016,6,9]],"date-time":"2016-06-09T00:00:00Z","timestamp":1465430400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J CARS"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s11548-016-1423-2","type":"journal-article","created":{"date-parts":[[2016,6,9]],"date-time":"2016-06-09T18:24:52Z","timestamp":1465496692000},"page":"2085-2096","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy"],"prefix":"10.1007","volume":"11","author":[{"given":"Sven-Thomas","family":"Antoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Rinast","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xintao","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Schlaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,9]]},"reference":[{"issue":"4","key":"1423_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3109\/10929080009148894","volume":"5","author":"A Schweikard","year":"2000","unstructured":"Schweikard A, Glosser G, Bodduluri M, Murphy M, Adler J (2000) Robotic motion compensation for respiratory movement during radiosurgery. Comput Aided Surg 5(4):263\u2013277","journal-title":"Comput Aided Surg"},{"issue":"10","key":"1423_CR2","doi-asserted-by":"crossref","first-page":"2738","DOI":"10.1118\/1.1774132","volume":"31","author":"A Schweikard","year":"2004","unstructured":"Schweikard A, Shiomi H, Adler J (2004) Respiration tracking in radiosurgery. Med Phys 31(10):2738\u20132741","journal-title":"Med Phys"},{"issue":"7","key":"1423_CR3","doi-asserted-by":"crossref","first-page":"2774","DOI":"10.1118\/1.2739811","volume":"34","author":"Y Seppenwoolde","year":"2007","unstructured":"Seppenwoolde Y, Berbeco RI, Nishioka S, Shirato H, Heijmen B (2007) Accuracy of tumor motion compensation algorithm from a robotic respiratory tracking system: a simulation study. Med Phys 34(7):2774\u20132784","journal-title":"Med Phys"},{"key":"1423_CR4","doi-asserted-by":"publisher","unstructured":"Depuydt T, Haas OC, Verellen D, Erbel S, De\u00a0Ridder M, Storme G (2010) Geometric accuracy evaluation of the new VERO stereotactic body radiation therapy system. In: UKACC international conference on control 2010, pp 1\u20136, IET. doi: 10.1049\/ic.2010.0291","DOI":"10.1049\/ic.2010.0291"},{"key":"1423_CR5","doi-asserted-by":"crossref","unstructured":"Murphy MJ, Isaakson M, Jalden J (2002) Adaptive filtering to predict lung tumor motion during free breathing. In: CARS 2002 computer assisted radiology and surgery. Springer, Berlin, pp 539\u2013544","DOI":"10.1007\/978-3-642-56168-9_90"},{"key":"1423_CR6","doi-asserted-by":"crossref","unstructured":"Ernst F, Schlaefer A, Schweikard A (2007) Prediction of respiratory motion with wavelet-based multiscale autoregression. Med Image Comput Comput Assist Interv\u2014MICCAI 2007. In: 10th international conference on medical image computing and computer assisted intervention, vol\u00a010, pp 668\u2013675","DOI":"10.1007\/978-3-540-75759-7_81"},{"key":"1423_CR7","unstructured":"Ernst F, Schweikard A (2008) Prediction of respiratory motion using a modified recursive least squares algorithm. In: CURAC 2008-Tagungsband, pp 157\u2013160"},{"issue":"11","key":"1423_CR8","doi-asserted-by":"publisher","first-page":"3911","DOI":"10.1088\/0031-9155\/58\/11\/3911","volume":"58","author":"F Ernst","year":"2013","unstructured":"Ernst F, D\u00fcrichen R, Schlaefer A, Schweikard A (2013) Evaluating and comparing algorithms for respiratory motion prediction. Phys Med Biol 58(11):3911\u20133929. doi: 10.1088\/0031-9155\/58\/11\/3911","journal-title":"Phys Med Biol"},{"issue":"5","key":"1423_CR9","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s11548-009-0355-5","volume":"4","author":"F Ernst","year":"2009","unstructured":"Ernst F, Schweikard A (2009) Forecasting respiratory motion with accurate online support vector regression (SVRpred). Int J Comput Assist Radiol Surg 4(5):439\u2013447","journal-title":"Int J Comput Assist Radiol Surg"},{"key":"1423_CR10","doi-asserted-by":"crossref","unstructured":"D\u00fcrichen R, Wissel T, Ernst F, Schweikard A (2013) Respiratory motion compensation with relevance vector machines. In: Medical image computing and computer-assisted intervention\u2013MICCAI 2013. Springer, Berlin, pp 108\u2013115","DOI":"10.1007\/978-3-642-40763-5_14"},{"issue":"1","key":"1423_CR11","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1118\/1.3026608","volume":"36","author":"M Murphy","year":"2009","unstructured":"Murphy M, Pokhrel D (2009) Optimization of an adaptive neural network to predict breathing. Med Phys 36(1):40\u201347","journal-title":"Med Phys"},{"key":"1423_CR12","unstructured":"Ramrath L, Schlaefer A, Ernst F, Dieterich S, Schweikard A (2007) Prediction of respiratory motion with a multi-frequency based extended kalman filter. In: Proceedings of the 21st international conference and exhibition on computer assisted radiology and surgery (CARS07), vol\u00a021"},{"issue":"20","key":"1423_CR13","doi-asserted-by":"crossref","first-page":"6043","DOI":"10.1088\/0031-9155\/59\/20\/6043","volume":"59","author":"R D\u00fcrichen","year":"2014","unstructured":"D\u00fcrichen R, Wissel T, Ernst F, Schlaefer A, Schweikard A (2014) Multivariate respiratory motion prediction. Phys Med Biol 59(20):6043","journal-title":"Phys Med Biol"},{"issue":"2","key":"1423_CR14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/rcs.38","volume":"1","author":"A Schweikard","year":"2005","unstructured":"Schweikard A, Shiomi H, Adler J (2005) Respiration tracking in radiosurgery without fiducials. Int J Med Robot 1(2):19\u201327","journal-title":"Int J Med Robot"},{"issue":"2","key":"1423_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"1423_CR16","doi-asserted-by":"crossref","unstructured":"David A, Du D, Larsen KG, Legay A, Miku\u010dionis M, B\u00f8gsted\u00a0Poulsen D, Sedwards S (2012) Statistical model checking for stochastic hybrid systems. In: Proceedings first international workshop on hybrid systems and biology, Newcastle Upon Tyne, 3rd September 2012, Electronic proceedings in theoretical computer science, vol\u00a092. Open Publishing Association, pp 122\u2013136","DOI":"10.4204\/EPTCS.92.9"},{"key":"1423_CR17","unstructured":"Bengtsson J (2002) Clocks, DBMs and states in timed systems. Ph.D. thesis, Uppsala University"},{"key":"1423_CR18","doi-asserted-by":"crossref","unstructured":"Legay A, Delahaye B, Bensalem S (2010) Statistical model checking: an overview. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Rou G, Sokolsky O, Tillmann N (eds) Runtime verification, vol 6418. Lecture Notes in Computer Science, Springer, Berlin, pp 122\u2013135","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"1423_CR19","unstructured":"Behrmann G, David A, Larsen KG (2006) A tutorial on Uppaal 4.0. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems, vol 3185. Lecture Notes in Computer Science, Springer, Berlin, pp 1\u201348. Updated version of the original paper from 2004"},{"key":"1423_CR20","doi-asserted-by":"crossref","unstructured":"Bulychev P, David A, Larsen KG, Miku\u010dionis M, B\u00f8gsted\u00a0Poulsen D, Legay A, Wang Z (2012) UPPAAL-SMC: statistical model checking for priced timed automata. In: Wiklicky H, Massink M (eds) 10th workshop on quantitative aspects of programming languages and systems (QAPL 2012), electronic proceedings in theoretical computer science, vol\u00a085. Open Publishing Association, pp 1\u201316","DOI":"10.4204\/EPTCS.85.1"},{"key":"1423_CR21","doi-asserted-by":"crossref","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and petri nets, vol 3098. Lecture Notes in Computer Science, Springer, Berlin, pp 87\u2013124","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"1423_CR22","doi-asserted-by":"crossref","unstructured":"Li T, Tan F, Wang Q, Bu L, Cao JN, Liu X (2012) From offline toward real-time: a hybrid systems model checking and CPS Co-design approach for medical device plug-and-play (MDPnP). In: 2012 IEEE\/ACM third international conference on cyber-physical systems. IEEE, pp 13\u201322","DOI":"10.1109\/ICCPS.2012.10"},{"key":"1423_CR23","unstructured":"Antoni S, Rinast J, Schupp S, Schlaefer A (2015) Comparing model-free motion prediction and on-line model checking for respiratory motion management. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.\u201318. M\u00e4rz 2015, pp 15\u201318"},{"key":"1423_CR24","unstructured":"Antoni ST, Rinast J, Schupp S, Schlaefer A (2015) Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. In: CURAC 2015 - Tagungsband. Bremen, Germany, pp 133\u2013138"},{"issue":"1","key":"1423_CR25","first-page":"8","volume":"3","author":"T Krilavicius","year":"2012","unstructured":"Krilavicius T, Wan K, Lee K, Man KL (2012) Specification and verification of radiation therapy system with respiratory compensation using uppaal. Int J Des Anal Tools Integr Circ Syst 3(1):8\u201313","journal-title":"Int J Des Anal Tools Integr Circ Syst"},{"key":"1423_CR26","unstructured":"Rzezovski N, Ernst F (2008) Graphical tool for the prediction of respiratory motion signals. In: CURAC 2008 - Tagungsband, pp 179\u2013180"}],"container-title":["International Journal of Computer Assisted Radiology and Surgery"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-016-1423-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11548-016-1423-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-016-1423-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:02:22Z","timestamp":1498320142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11548-016-1423-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,9]]},"references-count":26,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["1423"],"URL":"https:\/\/doi.org\/10.1007\/s11548-016-1423-2","relation":{},"ISSN":["1861-6410","1861-6429"],"issn-type":[{"value":"1861-6410","type":"print"},{"value":"1861-6429","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,9]]}}}