Property-specific sequential invariant extraction for SAT-based unbounded model checking. - Hu-Hsi Yeh; Cheng-Yin Wu; Chung-Yang (Ric) Huang (ICCAD, 2011)

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. - Hu-Hsi Yeh; Cheng-Yin Wu; Chung-Yang (Ric) Huang (TACAS, 2012)

Adaptive interpolation-based model checking. - Chien-Yu Lai; Cheng-Yin Wu; Chung-Yang (Ric) Huang (ASP-DAC, 2014)

A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. - Cheng-Yin Wu; Chi-An Wu; Chien-Yu Lai; Chung-Yang (Ric) Huang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)