Symbolic model checking on SystemC designs. - Chun-Nan Chou; Yen-Sheng Ho; Chiao Hsieh; Chung-Yang (Ric) Huang (DAC, 2012)

Efficient uninterpreted function abstraction and refinement for word-level model checking. - Yen-Sheng Ho; Pankaj Chauhan; Pritam Roy; Alan Mishchenko; Robert K. Brayton (FMCAD, 2016)

Property directed reachability with word-level abstraction. - Yen-Sheng Ho; Alan Mishchenko; Robert K. Brayton (FMCAD, 2017)

Efficient Abstraction and Refinement for Word-level Model Checking. - Yen-Sheng Ho (2017)