Prof. Dr. Hadar Frenkel

While being a member of this group or in collaboration with us.

• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
  Bernd Finkbeiner, Hadar Frenkel and Julian Siber · KR 2025
• Synthesis of Temporal Causality
  Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger and Julian Siber · CAV 2024
• Monitoring Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · AAMAS 2024
• Checking and Sketching Causes on Temporal Sequences
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Julian Siber · ATVA 2023
• Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · CAV 2023
• Automata-Based Software Model Checking of Hyperproperties
  Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann and Janine Lohse · NFM 2023
• Inferring Symbolic Automata
  Dana Fisman, Hadar Frenkel and Sandra Zilles · LMCS
• Automated Program Repair Using Formal Verification Techniques
  Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg and Sarai Sheinvald · Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
• Temporal Causality in Reactive Systems
  Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber · ATVA 2022
• Assume, Guarantee or Repair – a Regular Framework for non-Regular Properties
  Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald · STTT
• Realizable and Context-Free Hyperlanguages
  Hadar Frenkel and Sarai Sheinvald · GandALF 2022
• Explaining Hyperproperty Violations
  Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber · CAV 2022
• Inferring Symbolic Automata
  Dana Fisman, Hadar Frenkel and Sandra Zilles · CSL 2022
• Assume, Guarantee or Repair
  Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald · 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 · NFM 2017

• Model Checking Temporal Stream Logic and Hyper-Temporal Stream Logic
  Janine Lohse · Bachelor Thesis
• Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
  Tim Rohde · Bachelor Thesis
• Structured Program Synthesis from Temporal Stream Logic Specifications
  Peter Gastauer · Bachelor Thesis
• Expressiveness of Hyper^2LTL
  Angelina Göbl · Research Immersion Lab

• Automata, Games and Verification

  Co-lecturer·Reactive Systems Group · Winter 2022/2023
• From Program Verification to Synthesis

  Advisor·Reactive Systems Group · Summer 2022