U. Klein

Formalization and Automated Verification of RESTful Behavior

Kedar S. Namjoshi, Uri Klein, K. Namjoshi, 2011, CAV.

Topics in Formal Synthesis and Modeling

Amir Pnueli, Lenore D. Zuck, Uri Klein, 2011 .

Revisiting Synthesis of GR(1) Specifications

Amir Pnueli, Uri Klein, A. Pnueli, 2010, Haifa Verification Conference.

Effective Synthesis of Asynchronous Systems from GR(1) Specifications

Amir Pnueli, Nir Piterman, Uri Klein, 2012, VMCAI.

Synthesis of programs from temporal property specifications

Amir Pnueli, Uri Klein, A. Pnueli, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.