33 Einträge gefunden

1. A process calculus for privacy-preserving protocols in location-based service systems

   1. Bavendiek, Kai
   2. Schupp, Sibylle

   2022 - TUHH Open Research
2. Modeling ℝ3 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
3. 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
4. WCET-aware reachability for verified simplex design: work-in-progress

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

   2021 - TUHH Open Research
5. 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
6. 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
7. 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
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. 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
10. 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
11. 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
12. Automatically Proving Purpose Limitation in Software Architectures

    1. Bavendiek, Kai
    2. Müller, Tobias
    3. Wittner, Florian
    4. Kreutzburg, Thea
    5. Behrendt, Christian-Alexander
    6. Schulz, Wolfgang
    7. Federrath, Hannes

    2019 - Forschungsinformationssystem des UKE
13. Static Analysis for Worst-Case Battery Utilization

    1. Ivanov, Dmitry
    2. Schupp, Sibylle

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

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

    2019 - TUHH Open Research
15. 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
16. Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components

    1. Adams, Robin
    2. Schupp, Sibylle

    2018 - TUHH Open Research
17. 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
18. Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces

    1. Schupp, Sibylle

    2018 - TUHH Open Research
19. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

    1. Antoni, Sven-Thomas
    2. Lehmann, Sascha
    3. Neidhardt, Maximilian
    4. Fehrs, Kai
    5. Ruprecht, Christian
    6. Kording, Fabian
    7. Adam, Gerhard

    2018 - TUHH Open Research
20. 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