Detailseite
Person
Professor Dr. Bernd Finkbeiner
Adresse
CISPA - Helmholtz-Zentrum für Informationssicherheit
Forschungsgebiet Zuverlässige Sicherheitsgarantien
Stuhlsatzenhaus 5
66123 Saarbrücken
- Als Antragsteller
- Als beteiligter Wissenschaftler
- abgeschlossene Projekte
- GRK 623: Leistungsgarantien für Rechnersysteme (Graduiertenkollegs)
-
GSC 209: Saarbrücker Graduiertenschule für Informatik (Graduiertenschulen)
-
- abgeschlossene Projekte
- Als Teilprojektleiter
- laufende Projekte
- Programmierabstraktionen für cyber-physische Systeme (Transregios)
- Verteiltes Wissen und Informationsfluss (Transregios)
-
- abgeschlossene Projekte
- Über Realzeitautomaten hinaus (Transregios)
- Kompositionelle Verifikation komplexer Systeme (Transregios)
- Dynamische Kommunikationssysteme (Transregios)
- Zentrale Aufgaben des SFB/Transregio (Transregios)
- Durchsetzung von Privacy für Drittanbieter-Software (Sonderforschungsbereiche)
- Probabilistische Kausalität und Erklärungen (Transregios)
-
- laufende Projekte
- Als Beteiligte Person
- abgeschlossene Projekte
- Tradeoffs in der Controllersynthese (TriCS) (Sachbeihilfen)
-
- abgeschlossene Projekte
