• 97 引文
  • 6 h-指數
20052018
如果您對這些純文本內容做了任何改變,很快就會看到。

個人檔案

學歷

  • 2014 台灣大學電子工程博士

研究專長

  • 正規方法
  • 生命/資訊 安全攸關系統之正規驗證
  • 模型驗證
  • 系統晶片之正規驗證

經歷

  • 2002年7月~2003年9月 工業技術研究院助理工程師
  • 2014年5月~2015年1月 聯發科技股份有限公司資深工程師
  • 2015年5月~2016年7月 益華電腦股份有限公司應用工程副理
  • 2016年8月~迄今 國立成功大學電機系助理教授

指紋 查看啟用 Yean-Ru Chen 的研究主題。這些主題標籤來自此人的作品。共同形成了獨特的指紋。

  • 5 類似的檔案
Model checking Engineering & Materials Science
Embedded systems Engineering & Materials Science
Embedded software Engineering & Materials Science
Model Checking Mathematics
Software engineering Engineering & Materials Science
Safety-critical Systems Mathematics
Embedded Software Mathematics
Timed Automata Mathematics

研究計畫 2017 2018

研究成果 2005 2014

2 引文 (Scopus)

Accelerating coverage estimation through partial model checking

Chen, Y-R., Yeh, J. J., Hsiung, P. A. & Chen, S. J., 2014 一月 1, 於 : IEEE Transactions on Computers. 63, 7, p. 1613-1625 13 p., 6484055.

研究成果: Article

Model checking
Model Checking
Coverage
Partial
Mutation
6 引文 (Scopus)

Unified security and safety risk assessment - A case study on nuclear power plant

Chen, Y-R., Chen, S. J., Hsiung, P. A. & Chou, I. H., 2014 十一月 13, Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014. Institute of Electrical and Electronics Engineers Inc., p. 22-28 7 p. 6956707. (Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014).

研究成果: Conference contribution

Risk assessment
Nuclear power plants
Accidents
Aircraft
Safety
1 引文 (Scopus)

Backward probing deadlock detection for networks-on-chip

Chen, Y-R., Wangt, Z. R., Hsiunqt, P. A., Chen, S. J. & Tsai, M-H., 2013 八月 19, 2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013. 6558396. (2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013).

研究成果: Conference contribution

Network-on-chip
Copying
Routers
Managers
Switches

Congestion-aware scheduling for NoC-based reconfigurable systems

Chao, H. L., Chen, Y. R., Tung, S. Y., Hsiung, P. A. & Chen, S. J., 2012 五月 24, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012. p. 1561-1566 6 p. 6176721. (Proceedings -Design, Automation and Test in Europe, DATE).

研究成果: Conference contribution

Scheduling
Communication
Throughput
Scheduling algorithms
Embedded systems
Software design
Parallel processing systems
Hardware