Hadar Frenkel

31 papers A* 1A 1B 5Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 B conf
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.
FoSSaCS
Bernd Finkbeiner, Hadar Frenkel, Tim Rohde
2026 J jnl
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Tim Rohde
2026 J jnl
The Complexity of Second-order HyperLTL.
Log. Methods Comput. Sci.
Hadar Frenkel, Gaëtan Regaud, Martin Zimmermann
2025 A* conf
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
KR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 J jnl
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 B conf
The Complexity of Second-Order HyperLTL.
CSL
Hadar Frenkel, Martin Zimmermann
2024 A conf
Monitoring Second-Order Hyperproperties.
AAMAS
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 J jnl
Monitoring Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 — conf
Synthesis of Temporal Causality.
CAV (3)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024 J jnl
Synthesis of Temporal Causality.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2023 — conf
Automata-Based Software Model Checking of Hyperproperties.
NFM
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 J jnl
Automata-Based Software Model Checking of Hyperproperties.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 B conf
Checking and Sketching Causes on Temporal Sequences.
ATVA
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2023 J jnl
Inferring Symbolic Automata.
Log. Methods Comput. Sci.
Dana Fisman, Hadar Frenkel, Sandra Zilles
2023 — conf
Second-Order Hyperproperties.
CAV (2)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 J jnl
Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 J jnl
The Complexity of Second-order HyperLTL.
CoRR
Hadar Frenkel, Gaëtan Regaud, Martin Zimmermann
2022 J jnl
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).
CoRR
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022 J jnl
Assume, guarantee or repair: a regular framework for non regular properties.
Int. J. Softw. Tools Technol. Transf.
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022 — conf
Automated Program Repair Using Formal Verification Techniques.
Principles of Systems Design
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 B conf
Inferring Symbolic Automata.
CSL
Dana Fisman, Hadar Frenkel, Sandra Zilles
2022 — conf
Realizable and Context-Free Hyperlanguages.
GandALF
Hadar Frenkel, Sarai Sheinvald
2022 B conf
Temporal Causality in Reactive Systems.
ATVA
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
2021 — —
Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.
Hadar Frenkel
2021 J jnl
Inferring Symbolic Automata.
CoRR
Dana Fisman, Hadar Frenkel, Sandra Zilles
2020 — conf
Assume, Guarantee or Repair.
TACAS (1)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2020 J jnl
On the Complexity of Symbolic Finite-State Automata.
CoRR
Dana Fisman, Hadar Frenkel, Sandra Zilles
2019 J jnl
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
J. Autom. Reason.
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
2017 — conf
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
NFM
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald