每年專案
個人檔案
學歷
- 2014 台灣大學電子工程博士
研究專長
- 正規方法
- 生命/資訊 安全攸關系統之正規驗證
- 模型驗證
- 系統晶片之正規驗證
經歷
- 2002年7月~2003年9月 工業技術研究院助理工程師
- 2014年5月~2015年1月 聯發科技股份有限公司資深工程師
- 2015年5月~2016年7月 益華電腦股份有限公司應用工程副理
- 2016年8月~迄今 國立成功大學電機系助理教授
與 UN SDG 相關的專業知識
聯合國會員國於 2015 年同意 17 項全球永續發展目標 (SDG)，以終結貧困、保護地球並確保全體的興盛繁榮。此人的作品有助於以下永續發展目標：
指紋
查看啟用 Yean-Ru Chen 的研究主題。這些主題標籤來自此人的作品。共同形成了獨特的指紋。
- 1 類似的個人檔案
過去五年中的合作和熱門研究領域
國家/地區層面的近期外部共同作業。按一下圓點深入探索詳細資料，或
專案
- 3 已完成
-
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation
Lin, S. W., Wang, T. F., Chen, Y. R., Hou, Z., Sanán, D. & Teo, Y. S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (編輯). Springer Science and Business Media Deutschland GmbH, p. 363-382 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 14571 LNCS).研究成果: Conference contribution
開啟存取 -
Markov Clustering-Based Content Placement in Roadside-Unit Caching With Deadline Constraint
Wang, Y. T., Lin, T. Y., Sou, S. I., Chen, L. A., Tsai, M. H., Chen, Y-R. & Tu, C. H., 2024, (Accepted/In press) 於: IEEE Transactions on Intelligent Transportation Systems. p. 1-12 12 p.研究成果: Article › 同行評審
1 引文 斯高帕斯（Scopus） -
Robustness Analysis of Neural Network Designs with Sparsity Investigation
Chen, Y. R., Chiu, C. C. & Chen, H., 2024 5月, 於: Journal of Information Science and Engineering. 40, 3, p. 595-614 20 p.研究成果: Article › 同行評審
-
Empirical study on security verification and assessment of neural network accelerator
Chen, Y. R., Wang, T. F., Chen, S. H. & Kao, Y. C., 2023 6月, 於: Microprocessors and Microsystems. 99, 104845.研究成果: Article › 同行評審
開啟存取 -
SMT Solver With Hardware Acceleration
Chen, Y. R., Chen, S. H. & Lin, S. W., 2023 6月 1, 於: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42, 6, p. 2055-2068 14 p.研究成果: Article › 同行評審
1 引文 斯高帕斯（Scopus）