!!Projects per year
個人檔案
學歷
- 2014 台灣大學電子工程博士
研究專長
- 正規方法
- 生命/資訊 安全攸關系統之正規驗證
- 模型驗證
- 系統晶片之正規驗證
經歷
- 2002年7月~2003年9月 工業技術研究院助理工程師
- 2014年5月~2015年1月 聯發科技股份有限公司資深工程師
- 2015年5月~2016年7月 益華電腦股份有限公司應用工程副理
- 2016年8月~迄今 國立成功大學電機系助理教授
與 UN SDG 相關的專業知識
聯合國會員國於 2015 年同意 17 項全球永續發展目標 (SDG)，以終結貧困、保護地球並確保全體的興盛繁榮。此人的作品有助於以下永續發展目標：
-
SDG 7 經濟實惠的清潔能源 -
SDG 9 產業、創新與基礎設施
指紋
查看啟用 Yean-Ru Chen 的研究主題。這些主題標籤來自此人的作品。共同形成了獨特的指紋。
- 1 類似的個人檔案
過去五年中的合作和熱門研究領域
國家/地區層面的近期外部共同作業。按一下圓點深入探索詳細資料，或
專案
- 3 已完成
-
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499
Chen, Y. R., Hsu, C. H., Li, T. F., Lin, C. Y., Weng, S. C. & Tsai, M. Y., 2025, (Accepted/In press) 於: Software and Systems Modeling.研究成果: Article › 同行評審
3 連結會在新分頁中打開 引文 斯高帕斯（Scopus） -
Spectre Attack Detection with Formal Method on RISC-V Processor at RTL Design Level
Ting, C. C., Huang, Y. T., Chen, Y. T., Chen, Y. R. & Lin, E. H., 2025, 2025 International VLSI Symposium on Technology, Systems and Applications, VLSI TSA 2025 - Proceedings of Technical Papers. Institute of Electrical and Electronics Engineers Inc., (2025 International VLSI Symposium on Technology, Systems and Applications, VLSI TSA 2025 - Proceedings of Technical Papers).研究成果: Conference contribution
1 連結會在新分頁中打開 引文 斯高帕斯（Scopus） -
Stabilizer-Based Dynamic Assertion Circuits (SBDACs) for Quantum Circuits
Lin, C. Y., Yan, J. Q. & Chen, Y. R., 2025, 2025 International VLSI Symposium on Technology, Systems and Applications, VLSI TSA 2025 - Proceedings of Technical Papers. Institute of Electrical and Electronics Engineers Inc., (2025 International VLSI Symposium on Technology, Systems and Applications, VLSI TSA 2025 - Proceedings of Technical Papers).研究成果: Conference contribution
-
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
開啟存取3 連結會在新分頁中打開 引文 斯高帕斯（Scopus） -
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, 於: IEEE Transactions on Intelligent Transportation Systems. 25, 9, p. 11881-11892 12 p.研究成果: Article › 同行評審
8 連結會在新分頁中打開 引文 斯高帕斯（Scopus）