Hadar Frenkel
Scholar

Hadar Frenkel

Google Scholar ID: 70tnFBQAAAAJ
Bar Ilan University
hyperpropertiesformal verificationautomata learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
182
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
4 items
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
2026
Cited
0
An Information-Flow Perspective on Explainability Requirements: Specification and Verification
2025
Cited
0
Synthesis of Temporal Causality
International Conference on Computer Aided Verification · 2024
Cited
1
The Complexity of Second-order HyperLTL
arXiv.org · 2023
Cited
0
Resume (English only)
Co-authors
11 total
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Sarai Sheinvald
Sarai Sheinvald
ORT Braude College
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Co-author 4
Co-author 4
Julian Siber
Julian Siber
CISPA Helmholtz Center for Information Security
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Christopher Hahn
Christopher Hahn
Google DeepMind
Co-author 8
Co-author 8