Home Talks & Publications Teaching Students Events & Academic Service

Hadar Frenkel

This page is under construction, links to slides and papers will be added soon

Talks

Most of my slides appear with the respective publication below. Here are some additional talks.

Publications

Authors appear in alphabetical order. See also DBLP, Google Scholar.
  1. The Complexity of Second-Order HyperLTL . pdf.
    Hadar Frenkel and Martin Zimmermann.
    To appear in: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025).
  2. Synthesis of Temporal Causality. pdf.
    Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber.
    36th International Conference on Computer-Aided Verification (CAV 2024)
  3. Monitoring Second-Order Hyperproperties. pdf.
    Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger.
    23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024)
  4. Checking and Sketching Causes on Temporal Sequences. pdf.
    Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Julian Siber.
    21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
  5. Second-Order Hyperproperties. pdf. slides.
    Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger.
    35th International Conference on Computer-Aided Verification (CAV 2023).
  6. Automata-Based Software Model Checking of Hyperproperties. pdf.
    Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann and Janine Lohse.
    15th NASA Formal Methods Symposium (NFM 2023).
  7. Inferring Symbolic Automata (extended version). pdf.
    Dana Fisman, Hadar Frenkel and Sandra Zilles.
    Logical Methods in Computer Science (2023).
  8. Temporal Causality in Reactive Systems. pdf.
    Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber.
    20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022).
  9. Realizable and Context-Free Hyperlanguages. pdf. slides.
    Hadar Frenkel and Sarai Sheinvald.
    13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022).
  10. Explaining Hyperproperty Violations. pdf.
    Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber.
    34rd International Conference on Computer-Aided Verification (CAV 2022).
  11. Inferring Symbolic Automata. pdf. slides.
    Dana Fisman, Hadar Frenkel and Sandra Zilles.
    30th EACSL Annual Conference on Computer Science Logic (CSL 2022).
  12. Automated Program Repair Using Formal Verification Techniques. pdf.
    Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg and Sarai Sheinvald.
    Principles of Systems Design (2022).
  13. Assume, Guarantee or Repair - a Regular Framework for non-Regular Properties. pdf.
    Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald.
    International Journal on Software Tools for Technology Transfer (2022). TACAS 2020 special issue.
  14. Assume, Guarantee or Repair. pdf. slides.
    Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald.
    26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020).
  15. An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. pdf.
    Hadar Frenkel, Orna Grumberg and Sarai Sheinvald.
    Journal of Automated Reasoning (2019). NFM 2017 special issue.
  16. An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data. pdf. slides.
    Hadar Frenkel, Orna Grumberg and Sarai Sheinvald.
    9th NASA Formal Methods Symposium (NFM 2017).

Thesis