Competitive On-Line Switching Policies. - Amotz Bar-Noy; Ari Freund 001; Shimon Landa; Joseph Naor (Algorithmica, 2003)

IBM system z functional and performance verification using X-Gen. - Torsten Schober; Shimon Landa; Bodo Hoppe; Ronny Morad (HLDVT, 2008)

Threadmill: a post-silicon exerciser for multi-threaded processors. - Allon Adir; Maxim Golubev; Shimon Landa; Amir Nahir; Gil Shurek; Vitali Sokhin; Avi Ziv (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

Improving Post-silicon Validation Efficiency by Using Pre-generated Data. - Wisam Kadry; Anatoly Koyfman; Dmitry Krestyashyn; Shimon Landa; Amir Nahir; Vitali Sokhin (Haifa Verification Conference, 2013)