Send email Copy Email Address
Postdoc

Hadar Frenkel

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Hadar Frenkel

Year 2023

2023-10-24

Checking and Sketching Causes on Temporal Sequences

Conference / Medium

ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2023-07-17

Second-Order Hyperproperties

Conference / Medium

CAV
Computer Aided VerificationCAV 2023

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2023-06-03

Automata-Based Software Model Checking of Hyperproperties

Conference / Medium

NFM
NFMNFM

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2023-04-20

Inferring Symbolic Automata

Article

Logical Methods in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page

Year 2022

2022-12-29

Automated Program Repair Using Formal Verification Techniques

Other

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-10-25

Temporal Causality in Reactive Systems

Conference / Medium

ATVA
ATVAATVA 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-09-29

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties

Article

International Journal on Software Tools for Technology Transfer

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-09-21

Realizable and Context-Free Hyperlanguages

Conference / Medium

GandALF
EPTCSGandALF

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-05-06

Explaining Hyperproperty Violations

Conference / Medium

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-02

Inferring Symbolic Automata

Conference / Medium

CSL
CSLCSL

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page