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
Publications
37 items
Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
2026
Cited
0
Stream-based Online and Offline Monitoring under Measurement Noise
2026
Cited
0
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
Co-authors
11 total
Christopher Hahn
Christopher Hahn
Google DeepMind
Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Hazem Torfah
Hazem Torfah
Assistant Professor, CSE, Chalmers University of Technology
Jan Baumeister
Jan Baumeister
CISPA Helmholtz Center for Information Security
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Frederik Schmitt
Frederik Schmitt
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
Sebastian Schirmer
Sebastian Schirmer
DLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, Germany