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
)