Cheng-Yin Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ASPDAC | Adaptive interpolation-based model checking. | Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang |
| 2013 | DAC | A counterexample-guided interpolant generation algorithm for SAT-based model checking. | Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang |
| 2012 | TACAS | QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. | Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang |
| 2011 | ICCAD | Property-specific sequential invariant extraction for SAT-based unbounded model checking. | Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang Huang |