34 Einträge gefunden

1. Position Data of Offline Needle Steering

   1. Neidhardt, Maximilian
   2. Reinecke, Anton
   3. Rogalla, Antje
   4. Lehmann, Sascha
   5. Sprenger, Johanna
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
2. Modeling ℝ³ needle steering in Uppaal

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Reinecke, Anton
   5. Schlaefer, Alexander
   6. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
3. noSAT-MaxSAT

   1. Lübke, Ole
   2. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
4. A process calculus for privacy-preserving protocols in location-based service systems

   1. Bavendiek, Kai
   2. Schupp, Sibylle

   2022 - TUHH Open Research
5. Bounded DBM-based clock state construction for timed automata in Uppaal

   1. Lehmann, Sascha
   2. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
6. Online strategy synthesis for safe and optimized control of steerable needles

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Schlaefer, Alexander
   5. Schupp, Sibylle

   2021 - TUHH Open Research - frei zugänglich
7. WCET-aware reachability for verified simplex design: work-in-progress

   1. Lübke, Ole
   2. Schupp, Sibylle

   2021 - TUHH Open Research
8. Designing and analyzing open application-oriented labs in software-verification education

   1. Rogalla, Antje
   2. Kamph, Timo
   3. Bulmann, Ulrike
   4. Billerbeck, Katrin
   5. Blumreiter, Mathias
   6. Schupp, Sibylle

   2020 - TUHH Open Research
9. Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile Case

   1. Schulz, Wolfgang
   2. Wittner, Florian
   3. Bavendiek, Kai
   4. Schupp, Sibylle

   2020 - TUHH Open Research
10. Provably privacy-preserving distributed data aggregation in smart grids

    1. Stübs, Marius
    2. Mueller, Tobias
    3. Bavendiek, Kai
    4. Lösch, Manuel
    5. Schupp, Sibylle
    6. Federrath, Hannes

    2020 - TUHH Open Research
11. Synthesizing strategies for needle steering in gelatin phantoms

    1. Rogalla, Antje
    2. Lehmann, Sascha
    3. Neidhardt, Maximilian
    4. Sprenger, Johanna
    5. Bengs, Marcel
    6. Schlaefer, Alexander
    7. Schupp, Sibylle

    2020 - TUHH Open Research
12. An online model checking approach to soft-tissue detection for rupture

    1. Antoni, Sven-Thomas
    2. Lehmann, Sascha
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2019 - TUHH Open Research
13. Static Analysis for Worst-Case Battery Utilization

    1. Ivanov, Dmitry
    2. Schupp, Sibylle

    2019 - TUHH Open Research
14. Do we need real data? Testing and training algorithms with artificial geolocation data

    1. Kaiser, Jan
    2. Bavendiek, Kai
    3. Schupp, Sibylle

    2019 - TUHH Open Research - frei zugänglich
15. Automatically proving purpose limitation in software architectures

    1. Bavendiek, Kai
    2. Wittner, Florian
    3. Schwaneberg, Thea
    4. Behrendt, Christian Alexander
    5. Schulz, Wolfgang
    6. Federrath, Hannes
    7. Schupp, Sibylle

    2019 - TUHH Open Research
16. Guaranteeing privacy policies using lightweight type systems

    1. Adams, Robin
    2. Schulz, Wolfgang
    3. Schupp, Sibylle
    4. Wittner, Florian

    2019 - TUHH Open Research
17. A quantitative metric temporal logic for execution-time constrained verification

    1. Lehmann, Sascha
    2. Antoni, Sven-Thomas
    3. Schlaefer, Alexander
    4. Schupp, Sibylle

    2019 - TUHH Open Research
18. Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components

    1. Adams, Robin
    2. Schupp, Sibylle

    2018 - TUHH Open Research
19. Analytical solution for long battery lifetime prediction in nonadaptive systems

    1. Ivanov, Dmitry
    2. Larsen, Kim G.
    3. Schupp, Sibylle
    4. Srba, Jiří

    2018 - TUHH Open Research
20. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

    1. Padberg, Julia
    2. Schlaefer, Alexander
    3. Schupp, Sibylle

    2018 - TUHH Open Research - frei zugänglich