Hadar Frenkel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Complexity of model checking second-order hyperproperties on finite structures	2026-08-24	Paper
The complexity of second-order HyperLTL	2026-06-09	Paper
The complexity of second-order HyperLTL Logical Methods in Computer Science	2026-03-23	Paper
Inferring symbolic automata	2024-04-10	Paper
Realizable and context-free hyperlanguages (available as arXiv preprint)	2024-02-08	Paper
Realizable and context-free hyperlanguages	2024-02-08	Paper
Second-order hyperproperties	2024-01-12	Paper
Inferring Symbolic Automata Logical Methods in Computer Science	2023-08-26	Paper
Automated program repair using formal verification techniques Lecture Notes in Computer Science	2023-08-10	Paper
Temporal causality in reactive systems Automated Technology for Verification and Analysis	2023-06-02	Paper
Explaining Hyperproperty Violations	2022-12-07	Paper
Assume, guarantee or repair Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
An automata-theoretic approach to model-checking systems and specifications over infinite data domains Journal of Automated Reasoning	2019-10-25	Paper

Research outcomes over time

This page was built for person: Hadar Frenkel