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
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 3 Finished
-
A Study on Traffic Asymmetry for Detecting DDoS Attack in P4-based SDN
Lin, T. Y., Wang, C. Y., Tuan, Y. P., Tsai, M. H. & Chen, Y. R., 2022 Nov, In: Journal of Information Science and Engineering. 38, 6, p. 1265-1283 19 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
Dynamic Assertions for Quantum Circuits Based on Stabilizers
Lin, C. N., Lin, S. W. & Chen, Y. R., 2022, Quantum Technologies 2022. Diamanti, E., Ducci, S., Treps, N. & Whitlock, S. (eds.). SPIE, 121330I. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12133).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3
Lin, C. H., Su, Y. P., Chen, Y. R., Chou, Y. T. & Chen, S. J., 2022, MWSCAS 2022 - 65th IEEE International Midwest Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Midwest Symposium on Circuits and Systems; vol. 2022-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Robustness Analysis of Neural Network Designs for ReLU Family and Batch Normalization
Chen, H., Su, Y. P., Chen, Y. R., Chiu, C. C. & Chen, S. J., 2022, Proceedings - 2022 International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 2022 International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
SMT Solver with Hardware Acceleration
Chen, Y. R., Chen, S. H. & Lin, S. W., 2022, (Accepted/In press) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. p. 1 1 p.Research output: Contribution to journal › Article › peer-review