Send email Copy Email Address
Other

Hadar Frenkel

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Further Information

Publications by Hadar Frenkel

Year 2022

2022-05-06

Explaining Hyperproperty Violations

chapter

Computer Aided Verification

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-02

Inferring Symbolic Automata

Conference / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2020

2020-04-17

Assume, Guarantee or Repair

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page