Yean-Ru Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. | Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo |
| 2012 | DATE | Congestion-aware scheduling for NoC-based reconfigurable systems. | Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen |
| 2009 | ICA3PP | VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. | Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu |
| 2009 | ICSE | Model-driven development of multi-core embedded software. | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chihhsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, William C. Chu |
| 2007 | SAFECOMP | Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
| 2006 | ATVA | Model Checking Timed Systems with Urgencies. | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
| 2005 | ATVA | Model Checking Prioritized Timed Automata. | Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen |