X-Gen: a random test-case generator for systems and SoCs. - Roy Emek; Itai Jaeger; Yehuda Naveh; Gadi Bergman; Guy Aloni; Yoav Katz; Monica Farkash; Igor Dozoretz; Alex Goldin (HLDVT, 2002)

Distributed dynamic BDD reordering. - Ziv Nevo; Monica Farkash (DAC, 2006)

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)