• 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

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 journalArticle

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 proceedingConference 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 proceedingConference 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 proceedingConference 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/ReportBook

Software design
Parallel processing systems
Hardware