Forschungsbericht 2021
Softwaresysteme E-16
Leitung: Prof. Dr. Sibylle Schupp
Institut auf TORE
Institutswebsite
Publikationen
- Online strategy synthesis for safe and optimized control of steerable needles - Article
Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Schlaefer, Alexander; Schupp, Sibylle
Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
Open Access Publisher DOI
- WCET-aware reachability for verified simplex design: work-in-progress - inProceedings
Lübke, Ole; Schupp, Sibylle
ACM SIGBED International Conference on Embedded Software (EMSOFT 2021)
Publisher DOI
- Community detection for access-control decisions: analysing the role of homophily and information diffusion in online social networks - Article
Díaz Ferreyra, Nicolás; Hecking, Tobias; Äimeur, Esma; Heisel, Maritta; Hoppe, Heinz Ulrich
Online Social Networks and Media 29: 100203 (2021)
Open Access Publisher DOI
Projekte
- Zeitbeschränktes Model-Checking und verifikationsbewusster Systementwurf für medizinische cyber-physikalische Systeme
Deutsche Forschungsgemeinschaft (DFG); Laufzeit 2021 - 2024
Projektleitung: Schlaefer, Alexander; Schupp, Sibylle
- D3M - Data Driven Decision Making (HOOU-Projekt)
Technische Universität Hamburg; Laufzeit 2020 - 2021
Projektleitung: Schupp, Sibylle
- I³-Lab - Modell-gestütztes maschinelles Lernen für die Weichgewebsmodellierung in der Medizin
Technische Universität Hamburg; Laufzeit 2019 - 2023
Projektleitung: Schupp, Sibylle; Schlaefer, Alexander; Hoffmann, Norbert; Cyron, Christian J.
- Governance Technologies: Ehtics, Policies, Architectures, Engineering: Information Governance Technologies (LFF-FV34)
Behörde für Wissenschaft, Forschung und Gleichstellung; Laufzeit 2017 - 2021
Projektleitung: Schupp, Sibylle