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