Yen-Sheng Ho

According to our database, Yen-Sheng Ho authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Efficient Abstraction and Refinement for Word-level Model Checking.

Yen-Sheng Ho

PhD thesis, 2017

Property directed reachability with word-level abstraction.

Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Efficient uninterpreted function abstraction and refinement for word-level model checking.

Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2012

Symbolic model checking on SystemC designs.

Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang

Proceedings of the 49th Annual Design Automation Conference 2012, 2012