Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

CISPA - Helmholtz-Zentrum für Informationssicherheit
Forschungsgebiet Zuverlässige Sicherheitsgarantien

Adresse Stuhlsatzenhaus 5
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Sachbeihilfen
- laufende Projekte
  - Beweisbar sicheres Mehrspielersignieren in realistischen Angriffsmodellen
    (Antragsteller Loss, Julian Henry )
  - Präzise Überwachung cyber-physischer Technologie unter Unsicherheit
    (Antragsteller Finkbeiner, Bernd ; Fränzle, Martin )
- abgeschlossene Projekte
  - Petri-Spiele: ein semantischer und algorithmischer Ansatz für die effiziente Synthese von verteilten reaktiven Systemen
    (Antragsteller Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger )
  - Tradeoffs in der Controllersynthese (TriCS)
    (Antragsteller Zimmermann, Martin )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Geheimhaltung und Informationsfluss in gemeinsam benutzten Dokumentbasen
    (Antragsteller Finkbeiner, Bernd ; Seidl, Helmut )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Durchsetzung von Privacy für Drittanbieter-Software
    (Teilprojektleiter Finkbeiner, Bernd ; Hammer, Christian )
Transregios
- laufende Projekte
  - Programmierabstraktionen für cyber-physische Systeme
    (Teilprojektleiter Finkbeiner, Bernd ; Gumhold, Stefan ; Majumdar, Rupak )
  - Verteiltes Wissen und Informationsfluss
    (Teilprojektleiterinnen / Teilprojektleiter Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
- abgeschlossene Projekte
  - Dynamische Kommunikationssysteme
    (Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Heuristisches Suchen und abstraktes Modell-Checking für Realzeit-Systeme
    (Teilprojektleiter Finkbeiner, Bernd ; Nebel, Bernhard ; Podelski, Andreas )
  - Kompositionelle Verifikation komplexer Systeme
    (Teilprojektleiter Becker, Bernd ; Finkbeiner, Bernd ; Nebel, Bernhard ; Scholl, Christoph )
  - Probabilistische Kausalität und Erklärungen
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
  - Über Realzeitautomaten hinaus
    (Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Zentrale Aufgaben des SFB/Transregio
    (Teilprojektleiter Becker, Bernd ; Damm, Werner ; Finkbeiner, Bernd )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme
    (Sprecher Seidel, Raimund )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 209: Saarbrücker Graduiertenschule für Informatik
    (Sprecher Seidel, Raimund )

© 2024 DFG Kontakt / Impressum / Datenschutz