Bernd Finkbeiner
Scholar

Bernd Finkbeiner

Google Scholar ID: mSwHrYMAAAAJ
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Reactive SystemsVerificationSynthesisTemporal Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,069
 
H-index
34
 
i10-index
104
 
Publications
20
 
Co-authors
41
list available
Contact
No contact links provided.
Publications
25 items
Type-safe Monitoring of Parameterized Streams
2026
Cited
0
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
2026
Cited
0
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
2026
Cited
0
Verifying Asynchronous Hyperproperties in Reactive Systems
2025
Cited
0
Checking Satisfiability of Hyperproperties using First-Order Logic
2025
Cited
0
On Conformant Planning and Model-Checking of $exists^*forall^*$ Hyperproperties
2025
Cited
0
Universal Safety Controllers with Learned Prophecies
2025
Cited
0
Explainability Requirements as Hyperproperties
2025
Cited
0
Resume (English only)
Co-authors
41 total
Christopher Hahn
Christopher Hahn
Google DeepMind
Co-author 2
Co-author 2
Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
Co-author 4
Co-author 4
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Hazem Torfah
Hazem Torfah
Assistant Professor, CSE, Chalmers University of Technology
Co-author 7
Co-author 7
Co-author 8
Co-author 8