E-mail senden E-Mail Adresse kopieren
Postdoc

Hadar Frenkel

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Hadar Frenkel

Jahr 2020

2020-04-17

Assume, Guarantee or Repair

Konferenz / Medium

TACAS
ACAS 2020: Tools and Algorithms for the Construction and Analysis of SystemsTACAS 2020

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2018

2018-11-07

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains

Artikel

Journal of Automated Reasoning

Tags
Algorithmic Foundations and Cryptography
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2017

2017-04-17

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data

Konferenz / Medium

NFM
NFM 2017: NASA Formal MethodsNFM 2017

Tags
Algorithmic Foundations and Cryptography
Autor:innen
Herunterladen Detail-Seite besuchen