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
31 items
Almost Fair Simulations
2026
Cited
0
Pacing Types for Asynchronous Stream Equations
2026
Cited
0
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
2026
Cited
0
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026
Cited
0
Differentially Private Runtime Monitoring
2026
Cited
0
Knowledge Compilation for Quantification in Alternating Automata
2026
Cited
0
Type-safe Monitoring of Parameterized Streams
2026
Cited
0
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
2026
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