Forschungsbericht 2023

Softwaresysteme E-16

Leitung: Schupp, Sibylle

Institut auf TORE
Institutswebsite

Publikationen

• Computer aided design and grading for an electronic functional programming exam - Conference Paper
  Lübke, Ole; Fuger, Konrad; Bahnsen, Fin Hendrik; Billerbeck, Katrin; Schupp, Sibylle
  12th International Workshop on Trends in Functional Programming in Education (TFPIE 2023)
  Open Access | Publisher DOI
  
  
• Bounded DBM-based clock state construction for timed automata in Uppaal - Journal Article
  Lehmann, Sascha; Schupp, Sibylle
  International journal on software tools for technology transfer 25 (1): 19-47 (2023-02)
  Open Access | Publisher DOI
  
  
• noSAT-MaxSATv2 - Conference Paper
  Lübke, Ole; Schupp, Sibylle
  MaxSAT Evaluation (2023)
  Open Access
  
  

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
  
  
• 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.