Shuo-Ren Lin

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Computer Software

Abstraction Layer

Top Venues

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

Publications

Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang
Flexibility and Optimization of QBF Skolem-Herbrand Certificates. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (9) (2016)
Tsung-Po Liu, Shuo-Ren Lin, Jie-Hong R. Jiang
Software Workarounds for Hardware Errors: Instruction Patch Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (12) (2013)
Shin-Yann Ho, Shuo-Ren Lin, Ko-Lung Yuan, Chien-Yen Kuo, Kuan-Yu Liao, Jie-Hong R. Jiang, Chien-Mo James Li
Automatic test pattern generation for delay defects using timed characteristic functions. ICCAD (2013)