Advances in Simultaneous Multithreading Testcase Generation Methods. - John M. Ludden; Michal Rimon; Bryan G. Hickerson; Allon Adir (Haifa Verification Conference, 2010)

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)

Coverage Learned Targeted Validation for Incremental HW Changes. - Monica Farkash; Bryan G. Hickerson; Michael L. Behm (DAC, 2014)

Data mining diagnostics and bug MRIs for HW bug localization. - Monica Farkash; Bryan G. Hickerson; Balavinayagam Samynathan (DATE, 2015)

Template Aware Coverage: Taking Coverage Analysis to the Next Level. - Raviv Gal; Einat Kermany; Bilal Saleh; Avi Ziv; Michael L. Behm; Bryan G. Hickerson (DAC, 2017)