Forschungsbericht 2022

Softwaresysteme E-16

Leitung: Prof. Dr. rer. nat. Sibylle Renate Schupp

Institut auf TORE
Institutswebsite

Publikationen

• Position Data of Offline Needle Steering - Dataset
  Neidhardt, Maximilian; Reinecke, Anton; Rogalla, Antje; Lehmann, Sascha; Sprenger, Johanna; Schlaefer, Alexander; Schupp, Sibylle
  Open Access
  
  
• Bounded DBM-based clock state construction for timed automata in Uppaal - Article
  Lehmann, Sascha; Schupp, Sibylle
  International journal on software tools for technology transfer (in Press): (2022-09-08)
  Open Access Publisher DOI
  
  
• Meeting Strangers Online: Feature Models for Trustworthiness Assessment - inProceedings
  Borchert, Angela; Díaz Ferreyra, Nicolás; Heisel, Maritta
  9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022)
  Publisher DOI
  
  
• Vul4J: A Dataset of Reproducible Java Vulnerabilities Geared Towards the Study of Program Repair Techniques - inProceedings
  Bui, Quang Cuong; Scandariato, Riccardo; Díaz Ferreyra, Nicolás
  Mining Software Repositories Conference (MSR 2022)
  Publisher DOI
  
  
• Modeling ℝ³ needle steering in Uppaal - inProceedings
  Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Reinecke, Anton; Schlaefer, Alexander; Schupp, Sibylle
  Electronic proceedings in theoretical computer science 355: 40-59 (2022)
  Open Access Publisher DOI
  
  
• A process calculus for privacy-preserving protocols in location-based service systems - Article
  Bavendiek, Kai; Schupp, Sibylle
  Journal of Logical and Algebraic Methods in Programming 125: 100735 (2022-02)
  Publisher DOI
  
  
• The σ-calculus : a process calculus for privacy-preserving protocols in location-based service systems - Thesis
  Bavendiek, Kai
  Technische Universität Hamburg (2022)
  Open Access
  
  
• noSAT-MaxSAT - inProceedings
  Lübke, Ole; Schupp, Sibylle
  Bacchus, F., Berg, J., Järvisalo, M., Martins, R., & Niskanen, A. (Eds.) (2022). MaxSAT Evaluation 2022: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2022-2). Department of Computer Science, University of Helsinki. - Seite 29-30 (2022)
  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.