35 Einträge gefunden

1. Bounded DBM-based clock state construction for timed automata in Uppaal

   1. Lehmann, Sascha
   2. 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. 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
6. WCET-aware reachability for verified simplex design: work-in-progress

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

   2021 - TUHH Open Research
7. 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
8. 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
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. 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
11. Static Analysis for Worst-Case Battery Utilization

    1. Ivanov, Dmitry
    2. Schupp, Sibylle

    2019 - TUHH Open Research
12. 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
13. 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
14. 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
15. Guaranteeing privacy policies using lightweight type systems

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

    2019 - TUHH Open Research
16. 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
17. 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
18. Privacy-Preserving Architectures with Probabilistic Guaranties

    1. Bavendiek, Kai
    2. Adams, Robin
    3. Schupp, Sibylle

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

    1. Adams, Robin
    2. Schupp, Sibylle

    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