Theses

[1] Topics in Formal Synthesis and Modeling.
Uri Klein. PhD Dissertation - Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY, 2011. [ HTTP | PDF ]
[2] A Neurobiological Feature Hierarchies Extraction Network Model for Object Classification.
Uri Klein. MSc Thesis - Weizmann Institute of Science, Rehovot, Israel, 2006. [ HTTP | PDF ]

Peer-Reviewed Conference Papers

[1] Effective Synthesis of Asynchronous Systems from GR(1) Specifications.
Uri Klein, Nir Piterman and Amir Pnueli. In Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12), volume 7148 of Lecture Notes in Computer Science, pages 283-298. Springer, 2012. [ HTTP | PDF ]
[2] Formalization and Automated Verification of RESTful Behavior.
Uri Klein and Kedar Namjoshi. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of Lecture Notes in Computer Science, pages 541-556. Springer, 2011. [ HTTP | PDF ]
[3] Revisiting Synthesis of GR(1) Specifications.
Uri Klein and Amir Pnueli. In Hardware and Software: Verification and Testing - Proceedings of the 6th International Haifa Verification Conference (HVC'10), volume 6504 of Lecture Notes in Computer Science, pages 161-181. Springer, 2011. [ HTTP | PDF ]
[4] Dynamic Abstraction in Reinforcement Learning via Clustering.
Shie Mannor, Ishai Menache, Amit Hoze and Uri Klein. In Proceedings of the 21st International Conference on Machine learning (ICML'04), pages 560-567. ACM, 2004. [ HTTP | PDF ]

Invited Conference Papers

[1] Synthesis of Programs from Temporal Property Specifications.
Amir Pnueli and Uri Klein. In Proceedings of the 7th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE'09), pages 1-7. IEEE Press, 2009. [ HTTP | PDF ]

Technical Reports

[1] Effective Synthesis of Asynchronous Systems from GR(1) Specifications (an extended version of a VMCAI'12 paper).
Uri Klein, Nir Piterman and Amir Pnueli. Technical Report TR2011-944, Courant Institute of Mathematical Sciences, New York University, 2011. [ HTTP | PDF ]
[2] Formalization and Automated Verification of RESTful Behavior (an extended version of a CAV'11 paper).
Uri Klein and Kedar Namjoshi. Technical Report TR2011-938, Courant Institute of Mathematical Sciences, New York University, 2011. [ HTTP | PDF ]