Photo of Yean-Ru Chen

View Scopus Profile

Yean-Ru Chen

Assistant Professor

  • 100 Citations
  • 7 h-Index
20052018

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education

  • 2014 PhD, Graduate Institute of Electronics Engineering, National Taiwan University

Research Interests

  • Formal Methods
  • Formal Verification of Safety/Security Critical Systems
  • Model Checking
  • SoC Verification

Experience

  • 2002/07~2003/09 Assistant Engineer, Industrial Technology Research Institute
  • 2014/05~2015/01 Senior Engineer, MediaTek Inc.
  • 2015/05~2016/07 Lead Application Engineer, Cadence Design Systems, Inc.
  • 2016/08~present Assistant Professor, Department of Electrical Engineering, National Cheng Kung University

Fingerprint Dive into the research topics where Yean-Ru Chen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Projects

針對安全攸關之物聯網系統建立高擴展性的正規驗證與故障及因果分析工具集

Chen, Y.

17-03-01 → 18-02-28

Project: Research project

Research Output

Accelerating coverage estimation through partial model checking

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

Research output: Contribution to journal › Article

    • 3 Citations (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 Nov 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 7 Citations (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 Aug 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 1 Citation (Scopus)

    Congestion-aware scheduling for NoC-based reconfigurable systems

    Chao, H. L., Chen, Y. R., Tung, S. Y., Hsiung, P. A. & Chen, S. J., 2012 May 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • Multicore Hardware-Software design and verification techniques

    Hsiung, P. A., Chen, Y. R. & Lin, C. S., 2011 Dec 1, Bentham Science Publishers Ltd.

    Research output: Book/Report › Book