Professorin Dr. Sibylle Schupp

Adresse Technische Universität Hamburg
Studiendekanat Elektrotechnik, Informatik und Mathematik
Institut für Softwaresysteme
Schwarzenbergstraße 95
21073 Hamburg

Projekte

Als Antragstellerin
- laufende Projekte
  - Zeitbeschränktes Model-Checking und verifikationsbewusster Systementwurf für medizinische cyber-physikalische Systeme (Sachbeihilfen)
- abgeschlossene Projekte
  - A Common Development Platform for Static Source-Code Analysis of Generic Software Libraries (Sachbeihilfen)
Als beteiligte Wissenschaftlerin
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen (Graduiertenkollegs)