Scholar
Hadar Frenkel
Google Scholar ID: 70tnFBQAAAAJ
Bar Ilan University
hyperproperties
formal verification
automata learning
Follow
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
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Sarai Sheinvald
ORT Braude College
Niklas Metzger
CISPA Helmholtz Center for Information Security
Orna Grumberg
Professor of Computer Science, Technion
Julian Siber
CISPA Helmholtz Center for Information Security
Raven Beutner
CISPA Helmholtz Center for Information Security
Christopher Hahn
Google DeepMind
Co-author 8
