E-mail senden E-Mail Adresse kopieren
Postdoc

Hadar Frenkel

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Hadar Frenkel

Jahr 2024

Konferenz / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Jahr 2023

Konferenz / Medium

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

Konferenz / Medium

Computer Aided Verification (CAV)

Konferenz / Medium

NASA Formal Methods Symposium (NFM)

Artikel

Logical Methods in Computer Science

Jahr 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

Artikel

International Journal on Software Tools for Technology Transfer

Konferenz / Medium

Games Automata Logics and Formal Verification (GandALF)

chapter

Computer Aided Verification