Hadar Frenkel

A profile picture of Dr. Hadar Frenkel

About Me

I am a postdoctoral researcher at CISPA Helmholtz Center for Information Security.

I am interested in automata-based approaches to formal verification, and in using formal methods to express and verify interesting (hyper)properties of reactive systems.

I joined the Reactive Systems Group in August 2021. Prior to that, I was a PhD student at the Computer Science department at the Technion, Israel, advised by Prof. Orna Grumberg and Dr. Sarai Sheinvald.

Contact

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Saarland University Campus
Building: E 1.1, Room: 1.14
email: hadar.frenkel at cispa.de

Publications

authors appear in alphabetical order

[CFFH+22] 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). To appear.
[CDFF+22] Explaining Hyperproperty Violations.
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). To appear.
[FFZ22] Inferring Symbolic Automata.
Dana Fisman, Hadar Frenkel and Sandra Zilles.
30th EACSL Annual Conference on Computer Science Logic (CSL 2022).
[FGPS20] 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).
[FGS19] 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.
[FGS17] 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).
[frenkel21] Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.
Hadar Frenkel, PhD thesis.

Service

Awards

Teaching

Summer 2022 Co-lecturer, Proseminar From Program Verification to Synthesis, Reactive Systems Group.
Winter 2018/19 to spring 2021 TA & TA in charge, Introduction to Set Theory and Automata, CS department, Technion.
Spring 2016 to spring 2018 TA & TA in charge, Automata and Formal Languages, CS department, Technion.
Winter 2014/15 to winter 2015/16 TA, Database Management Systems, CS department, Technion.
Summer 2013 TA, Object Oriented Programming, Azrieli College of Engineering.
Spring 2013 TA, Database Theory, Azrieli College of Engineering.
Winter 2012/13 TA, C++ Programming, Azrieli College of Engineering.

Advising

Peter Gastauer TBD, Bachelor’s Thesis, ongoing (co-advised by Noemi Passing)
Janine Lohse Model Checking Temporal Stream Logic and Hyper-Temporal Stream Logic, Bachelor’s Thesis, ongoing (co-advised by Jana Hofmann)