每年專案
個人檔案
學歷
- 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 已完成
-
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 › 同行評審
-
A Study on Traffic Asymmetry for Detecting DDoS Attack in P4-based SDN
Lin, T. Y., Wang, C. Y., Tuan, Y. P., Tsai, M. H. & Chen, Y. R., 2022 11月, 於: Journal of Information Science and Engineering. 38, 6, p. 1265-1283 19 p.研究成果: Article › 同行評審
1 引文 斯高帕斯（Scopus） -
Dynamic Assertions for Quantum Circuits Based on Stabilizers
Lin, C. N., Lin, S. W. & Chen, Y. R., 2022, Quantum Technologies 2022. Diamanti, E., Ducci, S., Treps, N. & Whitlock, S. (編輯). SPIE, 121330I. (Proceedings of SPIE - The International Society for Optical Engineering; 卷 12133).研究成果: Conference contribution
-
Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3
Lin, C. H., Su, Y. P., Chen, Y. R., Chou, Y. T. & Chen, S. J., 2022, MWSCAS 2022 - 65th IEEE International Midwest Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Midwest Symposium on Circuits and Systems; 卷 2022-August).研究成果: Conference contribution