Projects per year
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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
- 2 Finished
Research output
-
Instruction Verification of Ethereum Virtual Machine by Formal Method
Ke, C. S. & Chen, Y. R., 2020 Feb, Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 69-74 6 p. 9181334. (Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 › peer-review
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
8 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
7 Citations (Scopus)