Hadar Frenkel

Computer Aided Verification (CAV)

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

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

Computer Aided Verification (CAV)

NASA Formal Methods Symposium (NFM)

Logical Methods in Computer Science

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

Automated Technology for Verification and Analysis

International Journal on Software Tools for Technology Transfer

Games Automata Logics and Formal Verification (GandALF)