Yen-Sheng Ho

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Formal Specification

Top Venues

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton
Property directed reachability with word-level abstraction. FMCAD (2017)
Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton
Efficient uninterpreted function abstraction and refinement for word-level model checking. FMCAD (2016)
Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang
Symbolic model checking on SystemC designs. DAC (2012)