5 citations · 16 across the 5 of their papers we have counts for
5 papers
Modeling R Needle Steering in Uppaal
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt +3
Medical cyber-physical systems are safety-critical, and as such, require ongoing verification of their correct behavior, as system failure during run time may cause severe (or even…
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt +2
Autonomous systems are often applied in uncertain environments, which require prospective action planning and retrospective data evaluation for future planning to ensure safe opera…
Synthesizing Strategies for Needle Steering in Gelatin Phantoms
Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt +4
In medicine, needles are frequently used to deliver treatments to subsurface targets or to take tissue samples from the inside of an organ. Current clinical practice is to insert n…
Tool Support of Formal Methods for Privacy by Design
Sibylle Schupp
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been…
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Robin Adams, Sibylle Schupp
Privacy by design (PbD) is the principle that privacy should be considered at every stage of the software engineering process. It is increasingly both viewed as best practice and r…