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 2020

2020-04-17

Assume, Guarantee or Repair

Conference / Medium

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

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2018

2018-11-07

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

Article

Journal of Automated Reasoning

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page

Year 2017

2017-04-17

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

Conference / Medium

NFM
NFM 2017: NASA Formal MethodsNFM 2017

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page