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 2022

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-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