Hadar Frenkel

According to our database, Hadar Frenkel authored at least 15 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Inferring Symbolic Automata.

Dana Fisman, Hadar Frenkel, Sandra Zilles

Log. Methods Comput. Sci., 2023

Automata-Based Software Model Checking of Hyperproperties.

Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Second-Order Hyperproperties.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Checking and Sketching Causes on Temporal Sequences.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Assume, guarantee or repair: a regular framework for non regular properties.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Int. J. Softw. Tools Technol. Transf., 2022

Realizable and Context-Free Hyperlanguages.

Hadar Frenkel, Sarai Sheinvald

Proceedings of the 13th International Symposium on Games, 2022

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

CoRR, 2022

Explaining Hyperproperty Violations.

Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Automated Program Repair Using Formal Verification Techniques.

Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald

Proceedings of the Principles of Systems Design, 2022

Temporal Causality in Reactive Systems.

Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.

Hadar Frenkel

PhD thesis, 2021

2020

On the Complexity of Symbolic Finite-State Automata.

Dana Fisman, Hadar Frenkel, Sandra Zilles

CoRR, 2020

Assume, Guarantee or Repair.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.

Hadar Frenkel, Orna Grumberg, Sarai Sheinvald

J. Autom. Reason., 2019

2017

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.

Hadar Frenkel, Orna Grumberg, Sarai Sheinvald

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017