( en | de | ru )

 

Disambiguation of "Schupp, Sibylle"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Strategies for Needle Steering in Gelatin Phantoms.

, , , , , , and . MARS@ETAPS, volume 316 of EPTCS, page 261-274. (2020)

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.

Sibylle Schupp

Wilfried Schupp

Ernst Schupp

Hellmuth Schupp

Alfons Schupp

 

Other publications of authors with the same name

Static analysis for worst-case battery utilization., and . FormaliSE@ICSE, page 1-10. IEEE / ACM, (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)Making the Usage of STL Safe., and . Generic Programming, volume 243 of IFIP Conference Proceedings, page 127-140. Kluwer, (2002)Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy., , , , and . Int. J. Comput. Assist. Radiol. Surg., 11 (11): 2085-2096 (2016)A process calculus for privacy-preserving protocols in location-based service systems., and . J. Log. Algebraic Methods Program., (2022)A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification., , , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 170-189. Springer, (2018)FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems., , and . Software Engineering, volume P-252 of LNI, page 127-128. GI, (2016)Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids., , , , , and . DBSec, volume 12122 of Lecture Notes in Computer Science, page 153-173. Springer, (2020)Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)., and . Software Engineering & Management, volume P-239 of LNI, page 268. GI, (2015)