Technische Universität Hamburg
Studiendekanat Elektrotechnik, Informatik und Mathematik
Institut für Softwaresysteme

Address Schwarzenbergstraße 95
21073 Hamburg
Deutschland

GERiT This institution in GERiT

21073 Hamburg

Projects

Research Grants
- Current projects
  - Time-Constrained Model Checking and Verification-Aware System Design for Medical Cyber-Physical Systems
    (Applicants Schlaefer, Alexander ; Schupp, Sibylle )
- Completed projects
  - A Common Development Platform for Static Source-Code Analysis of Generic Software Libraries
    (Applicant Schupp, Sibylle )
Priority Programmes
- Completed projects
  - Modelle und Werkzeuge zur Verwaltung multipler Dokumentationspräsentationen für die kooperative Nutzung digitaler Handbibliotheken
    (Applicant Matthes, Florian )
Research Training Groups
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
    (Spokesperson Fey, Görschwin )