Send email Copy Email Address
Postdoc

Hadar Frenkel

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Hadar Frenkel

Year 2024

Conference / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Year 2023

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

NASA Formal Methods Symposium (NFM)

Article

Logical Methods in Computer Science

Year 2022

chapter

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

chapter

Automated Technology for Verification and Analysis

Article

International Journal on Software Tools for Technology Transfer

Conference / Medium

Games Automata Logics and Formal Verification (GandALF)

chapter

Computer Aided Verification