Hadar Frenkel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 23

Top Topics

Formal Verification

Temporal Ordering

Probabilistic Automata

Reactive Systems

Top Venues

Publications

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CAV (3) (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. AAMAS (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CoRR (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CAV (2) (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
Checking and Sketching Causes on Temporal Sequences. ATVA (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. CoRR (2023)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. Log. Methods Comput. Sci. 19 (2) (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. NFM (2023)
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design (2022)
Hadar Frenkel, Sarai Sheinvald
Realizable and Context-Free Hyperlanguages. GandALF (2022)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR (2022)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CSL (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CoRR (2021)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, Guarantee or Repair. TACAS (1) (2020)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CoRR (2020)
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. J. Autom. Reason. 63 (4) (2019)
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. NFM (2017)