Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Bernd Finkbeiner

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

Projects

As Applicant
- Current projects
  - Precise Monitoring of Cyber-Physical Technology under Uncertainty (PreCePT) (Research Grants)
- Completed projects
  - Secrecy and Information Flow in Shared Document Bases (Priority Programmes)
  - Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems (Research Training Groups)
  - GSC 209: Saarbrücken Graduate School of Computer Science (Graduate Schools)
As Project Head
- Current projects
  - Programming Abstractions for Cyber-Physical Systems (CRC/Transregios)
  - Distributed Knowledge and Information Flow (CRC/Transregios)
- Completed projects
  - Beyond Timed Automata (CRC/Transregios)
  - Heuristic Search and Abstract Model Checking (CRC/Transregios)
  - Compositional Approaches to System Verification (CRC/Transregios)
  - Dynamic Communication Systems (CRC/Transregios)
  - Central Tasks (CRC/Transregios)
  - Privacy Enforcement for Third-Party Software (Collaborative Research Centres)
  - Probabilistic Causality and Explications (CRC/Transregios)
As Participating Person
- Completed projects
  - Tradeoffs in Controller Synthesis (TriCS) (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy