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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 3 Finished
-
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation
Lin, S. W., Wang, T. F., Chen, Y. R., Hou, Z., Sanán, D. & Teo, Y. S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 363-382 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14571 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Markov Clustering-Based Content Placement in Roadside-Unit Caching With Deadline Constraint
Wang, Y. T., Lin, T. Y., Sou, S. I., Chen, L. A., Tsai, M. H., Chen, Y. R. & Tu, C. H., 2024, In: IEEE Transactions on Intelligent Transportation Systems. 25, 9, p. 11881-11892 12 p.Research output: Contribution to journal › Article › peer-review
5 Citations (Scopus) -
Robustness Analysis of Neural Network Designs with Sparsity Investigation
Chen, Y. R., Chiu, C. C. & Chen, H., 2024 May, In: Journal of Information Science and Engineering. 40, 3, p. 595-614 20 p.Research output: Contribution to journal › Article › peer-review
-
Empirical study on security verification and assessment of neural network accelerator
Chen, Y. R., Wang, T. F., Chen, S. H. & Kao, Y. C., 2023 Jun, In: Microprocessors and Microsystems. 99, 104845.Research output: Contribution to journal › Article › peer-review
Open Access -
SMT Solver With Hardware Acceleration
Chen, Y. R., Chen, S. H. & Lin, S. W., 2023 Jun 1, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42, 6, p. 2055-2068 14 p.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus)