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
35 items
Extending RTLola with External Data Queries
2026
Cited
0
Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola
2026
Cited
0
Flowing Through States: Neural ODE Regularization for Reinforcement Learning
2026
Cited
0
Disintegration Temporal Logic for Probabilistic Hyperproperties
2026
Cited
0
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
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