Jia-Jen Yeh

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Linear Time Temporal Logic

Top Venues

IEEE Trans. Computers

Publications

Yean-Ru Chen, Jia-Jen Yeh, Pao-Ann Hsiung, Sao-Jie Chen
Accelerating Coverage Estimation Through Partial Model Checking. IEEE Trans. Computers 63 (7) (2014)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao
Model Checking Timed Systems with Urgencies. ATVA (2006)