- CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
According to our database1, Hadar Frenkel authored at least 13 papers between 2017 and 2023.
Legend:Book In proceedings Article PhD thesis Dataset Other
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the 13th International Symposium on Games, 2022
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Principles of Systems Design, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.
PhD thesis, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
J. Autom. Reason., 2019
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017