• Introduction to Temporal Hyperproperties. Tutorial, Tel-Aviv University, 2025. 
• Temporal Causality in Reactive Systems. BIU Formal Verification Seminar, 2025. 
• Logics for Fromal Verification (Hebrew) לוגיקה באימות פורמלי. Ilanot Excellence Program, 2025. 
• Second-Order Hyperproperties. CAV 2023.
• Realizable and Context-Free Hyperlanguages. GandALF 2022. 
• Inferring Symbolic Automata. CSL 2022. 
• Assume, Guarantee, or Repair (video). TACAS 2020.
• An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data. NFM 2017. 

See also DBLP, Google Scholar. 
If you are interested in specific papers or slides and you are unable to find them, please email me.  

• The Complexity of Second-Order HyperLTL (extended version).
  Hadar Frenkel, Gaëtan Regaud and Martin Zimmermann.
  Logical Methods in Computer Science (LMCS), 2026. 
• Sufficient Reasons and Contrastive Explanations for Reactive Systems.
  Hadar Frenkel and Nadav Rutman Moshe.
  24th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2026, to appear.
• On the Hierarchy of Finite-Word Hyperlanguages.
  Hadar Frenkel and Sarai Sheinvald.
  Formal Methods in Computer-Aided Design (FMCAD) 2026, to appear. 
• Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.
  Bernd Finkbeiner, Hadar Frenkel and Tim Rohde.
  29th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2026).
• An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
  Bernd Finkbeiner, Hadar Frenkel and Julian Siber. 
  22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025).
• The Complexity of Second-Order HyperLTL. 
  Hadar Frenkel and Martin Zimmermann. 
  33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). 
• Synthesis of Temporal Causality.
  Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber. 
  36th International Conference on Computer-Aided Verification (CAV 2024).
• Monitoring Second-Order Hyperproperties.
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 
  23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024).
• Inferring Symbolic Automata (extended version). 
  Dana Fisman, Hadar Frenkel and Sandra Zilles. 
  Logical Methods in Computer Science (2023). 
• Checking and Sketching Causes on Temporal Sequences.
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Julian Siber. 
  21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
• Second-Order Hyperproperties.
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 
  35th International Conference on Computer-Aided Verification (CAV 2023).
• Automata-Based Software Model Checking of Hyperproperties. 
  Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann and Janine Lohse. 
  15th NASA Formal Methods Symposium (NFM 2023).
• Automated Program Repair Using Formal Verification Techniques. 
  Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg and Sarai Sheinvald. 
  Principles of Systems Design (2022). 
• Assume, Guarantee or Repair - a Regular Framework for non-Regular Properties.
  Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald. 
  International Journal on Software Tools for Technology Transfer (2022). TACAS 2020 special issue.
• Temporal Causality in Reactive Systems.
  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). 
• Realizable and Context-Free Hyperlanguages.
  Hadar Frenkel and Sarai Sheinvald. 
  13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022). 
• Explaining Hyperproperty Violations.
  Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber. 
  34th International Conference on Computer-Aided Verification (CAV 2022).
• Inferring Symbolic Automata.
  Dana Fisman, Hadar Frenkel and Sandra Zilles. 
  30th EACSL Annual Conference on Computer Science Logic (CSL 2022).
• Assume, Guarantee or Repair.
  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).
• An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
  Hadar Frenkel, Orna Grumberg and Sarai Sheinvald. 
  Journal of Automated Reasoning (2019). NFM 2017 special issue.
• An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data.
  Hadar Frenkel, Orna Grumberg and Sarai Sheinvald. 
  9th NASA Formal Methods Symposium (NFM 2017).

• Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.
  Hadar Frenkel. 
  PhD thesis (2021).