We stand with Ukraine  

Hadar Frenkel

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Hadar Frenkel authored at least 13 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automata-Based Software Model Checking of Hyperproperties.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Hadar Frenkel
,
Jana Hofmann
,
Janine Lohse
CoRR, 2023

2022
Assume, guarantee or repair: a regular framework for non regular properties.
[BibTeX]
[DOI]
Hadar Frenkel
,
Orna Grumberg
,
Corina S. Pasareanu
,
Sarai Sheinvald
Int. J. Softw. Tools Technol. Transf., 2022

Realizable and Context-Free Hyperlanguages.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Hadar Frenkel
,
Orna Grumberg
,
Corina S. Pasareanu
,
Sarai Sheinvald
CoRR, 2022

Inferring Symbolic Automata.
[BibTeX]
[DOI]
Dana Fisman
,
Hadar Frenkel
,
Sandra Zilles
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

Explaining Hyperproperty Violations.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Hadar Frenkel
,
Orna Grumberg
,
Bat-Chen Rothenberg
,
Sarai Sheinvald
Proceedings of the Principles of Systems Design, 2022

Temporal Causality in Reactive Systems.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Hadar Frenkel
PhD thesis, 2021

2020
On the Complexity of Symbolic Finite-State Automata.
[BibTeX]
[DOI]
Dana Fisman
,
Hadar Frenkel
,
Sandra Zilles
CoRR, 2020

Assume, Guarantee or Repair.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Hadar Frenkel
,
Orna Grumberg
,
Sarai Sheinvald
J. Autom. Reason., 2019

2017
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
[BibTeX]
[DOI]
Hadar Frenkel
,
Orna Grumberg
,
Sarai Sheinvald
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017


  Loading...