E-mail senden E-Mail Adresse kopieren
Andere

Hadar Frenkel

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Weitere Informationen

Veröffentlichungen von Hadar Frenkel

Jahr 2022

2022-05-06

Explaining Hyperproperty Violations

chapter

Computer Aided Verification

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Inferring Symbolic Automata

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2020

2020-04-17

Assume, Guarantee or Repair

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen