Photo of Yean-Ru Chen

View Scopus Profile

Yean-Ru Chen

Assistant Professor

  • 97 Citations
  • 6 h-Index
20052018
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.

  • 2 Similar Profiles
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

Projects 2017 2018

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

Chen, Y.

17-03-01 → 18-02-28

Project: Research project

Research Output 2005 2014

2 Citations (Scopus)

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

Model checking
Model Checking
Coverage
Partial
Mutation
6 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

Risk assessment
Nuclear power plants
Accidents
Aircraft
Safety
1 Citation (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

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 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

Scheduling
Communication
Throughput
Scheduling algorithms
Embedded systems

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

Software design
Parallel processing systems
Hardware