Author of the publication

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.

, , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Static analysis for worst-case battery utilization., and . FormaliSE@ICSE, page 1-10. IEEE / ACM, (2019)Tool Support of Formal Methods for Privacy by Design.. CoRR, (2019)Guaranteeing privacy policies using lightweight type systems., , , and . Comput. Law Secur. Rev., 35 (6): 105337 (2019)WCET-aware reachability for verified simplex design: work-in-progress., and . EMSOFT, page 27-28. ACM, (2021)Generic Components for Static Operations at Object Level., and . ICSOFT/ENASE (Selected Papers), volume 22 of Communications in Computer and Information Science, page 46-59. Springer, (2007)Synthesizing Strategies for Needle Steering in Gelatin Phantoms., , , , , , and . MARS@ETAPS, volume 316 of EPTCS, page 261-274. (2020)Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles., , , , and . FMAS, volume 348 of EPTCS, page 128-135. (2021)Privacy-Preserving Architectures with Probabilistic Guaranties., , and . PST, page 1-10. IEEE Computer Society, (2018)Annotation-Guided Soft-Error Injection., and . GI-Jahrestagung, volume P-220 of LNI, page 2592-2605. GI, (2013)Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data., , and . GI-Jahrestagung, volume P-294 of LNI, page 205-218. GI, (2019)