Forschungsbericht 2019
Softwaresysteme E-16
Leitung: Prof. Dr. Sibylle Schupp
Institut auf TORE
Institutswebsite
Publikationen
- Guaranteeing privacy policies using lightweight type systems - Article
Adams, Robin; Schulz, Wolfgang; Schupp, Sibylle; Wittner, Florian
Computer Law and Security Review 6 (35): 105337 (2019-11)
Publisher DOI
- Towards self-explainable cyber-physical systems - inProceedings
Blumreiter, Mathias; Greenyer, Joel; Chiyah Garcia, Francisco Javier; Klos, Verena; Schwammberger, Maike; Sommer, Christoph; Vogelsang, Andreas; Wortmann, Andreas
International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C: 8904796 (2019-09)
Publisher DOI
- Static Analysis for Worst-Case Battery Utilization - inProceedings
Ivanov, Dmitry; Schupp, Sibylle
IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 : 8807517 (2019-05)
Publisher DOI
- Automatically proving purpose limitation in software architectures - inProceedings
Bavendiek, Kai; Müller, Tobias; Wittner, Florian; Schwaneberg, Thea; Behrendt, Christian Alexander; Schulz, Wolfgang; Federrath, Hannes; Schupp, Sibylle
IFIP Advances in Information and Communication Technology (562): 345-358 (2019)
Publisher DOI
- Do we need real data? : testing and training algorithms with artificial geolocation data - inProceedings
Kaiser, Jan; Bavendiek, Kai; Schupp, Sibylle
In: David, K., Geihs, K., Lange, M. & Stumme, G. (Hrsg.), INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft. Bonn: Gesellschaft für Informatik e.V.. (S. 205-218).
Open Access Publisher DOI
- An online model checking approach to soft-tissue detection for rupture - inProceedings
Antoni, Sven-Thomas; Lehmann, Sascha; Schupp, Sibylle; Schlaefer, Alexander
CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V. ; 19.-21. September 2019, Reutlingen, Seite 83 - 88 (2019)
- A quantitative metric temporal logic for execution-time constrained verification - inProceedings
Lehmann, Sascha; Antoni, Sven-Thomas; Schlaefer, Alexander; Schupp, Sibylle
Lecture Notes in Computer Science (11615 LNCS): 170-189 (2019)
Publisher DOI
Projekte
- I³-Lab - Modell-gestütztes maschinelles Lernen für die Weichgewebsmodellierung in der Medizin
Technische Universität Hamburg; Laufzeit 2019 - 2022
Projektleitung: Schupp, Sibylle; Schlaefer, Alexander; Hoffmann, Norbert; Cyron, Christian J.
- Entwicklung einer Softwarearchitektur zur Steuerung Roboter-gesteuerten Probenahme und Entfernung potentieller Tumoren per theragnostischem Picosekunden-Infrarot-Laser
Forschungszentrum Medizintechnik Hamburg; Laufzeit 2018 - 2019
Projektleitung: Schupp, Sibylle
- MaLiTuP - Maschinelles Lernen in Theorie und Praxis
Bundesministerium für Bildung und Forschung; Laufzeit 2017 - 2019
Projektleitung: Schupp, Sibylle
- Governance Technologies: Ehtics, Policies, Architectures, Engineering: Information Governance Technologies (LFF-FV34)
Behörde für Wissenschaft, Forschung und Gleichstellung; Laufzeit 2017 - 2020
Projektleitung: Schupp, Sibylle