Facing the challenge of new design features: an effective verification approach. - Wisam Kadry; Ronny Morad; Alex Goryachev; Eli Almog; Christopher A. Krygowski (DAC, 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)

SLAM: SLice And Merge - Effective Test Generation for Large Systems. - Tali Rabetti; Ronny Morad; Alex Goryachev; Wisam Kadry; Richard D. Peterson (Haifa Verification Conference, 2013)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Effective post-silicon failure localization using dynamic program slicing. - Ophir Friedler; Wisam Kadry; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin (DATE, 2014)

Comparative study of test generation methods for simulation accelerators. - Wisam Kadry; Dmitry Krestyashyn; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin; Jin Sung Park; Sung-Boem Park; Wookyeong Jeong; Jae-Cheol Son (DATE, 2015)

Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms. - Wisam Kadry; Dmitry Krestyashyn; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin; Jin Sung Park; Sung-Boem Park; Wookyeong Jeong; Jae-Cheol Son (IEEE Des. Test, 2017)