Professor Dr. Bernd Finkbeiner

Adresse CISPA - Helmholtz-Zentrum für Informationssicherheit
Forschungsgebiet Zuverlässige Sicherheitsgarantien
Stuhlsatzenhaus 5
66123 Saarbrücken

Projekte

Als Antragsteller
- laufende Projekte
  - Präzise Überwachung cyber-physischer Technologie unter Unsicherheit (Sachbeihilfen)
- abgeschlossene Projekte
  - Geheimhaltung und Informationsfluss in gemeinsam benutzten Dokumentbasen (Schwerpunktprogramme)
  - Petri-Spiele: ein semantischer und algorithmischer Ansatz für die effiziente Synthese von verteilten reaktiven Systemen (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme (Graduiertenkollegs)
  - GSC 209: Saarbrücker Graduiertenschule für Informatik (Graduiertenschulen)
Als Teilprojektleiter
- laufende Projekte
  - Programmierabstraktionen für cyber-physische Systeme (Transregios)
  - Verteiltes Wissen und Informationsfluss (Transregios)
- abgeschlossene Projekte
  - Über Realzeitautomaten hinaus (Transregios)
  - Heuristisches Suchen und abstraktes Modell-Checking für Realzeit-Systeme (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)
Als Beteiligte Person
- abgeschlossene Projekte
  - Tradeoffs in der Controllersynthese (TriCS) (Sachbeihilfen)