Haiqiong Yao

According to our database, Haiqiong Yao authored at least 5 papers between 2009 and 2012.

Collaborative distances:

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

2012

Methods and Algorithms for Scalable Verification of Asynchronous Designs.

Haiqiong Yao

PhD thesis, 2012

2010

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement.

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

IEEE Trans. Computers, 2010

State space reductions for scalable verification of asynchronous designs.

Haiqiong Yao, Hao Zheng, Chris J. Myers

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2009

Automated Interface Refinement for Compositional Verification.

Haiqiong Yao, Hao Zheng

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs.

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2009