Hadar Frenkel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Complexity of Model Checking Second-Order Hyperproperties on Finite Structures. | Bernd Finkbeiner, Hadar Frenkel, Tim Rohde |
| 2025 | CSL | The Complexity of Second-Order HyperLTL. | Hadar Frenkel, Martin Zimmermann |
| 2025 | KR | An Information-Flow Perspective on Explainability Requirements: Specification and Verification. | Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2024 | CAV | Synthesis of Temporal Causality. | Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber |
| 2023 | ATVA | Checking and Sketching Causes on Temporal Sequences. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | CAV | Second-Order Hyperproperties. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger |
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2022 | CSL | Inferring Symbolic Automata. | Dana Fisman, Hadar Frenkel, Sandra Zilles |
| 2020 | TACAS | Assume, Guarantee or Repair. | Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald |