Yean-Ru Chen

According to our database, Yean-Ru Chen authored at least 22 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

SMT Solver With Hardware Acceleration.

Yean-Ru Chen, Si-Han Chen, Shangwei Lin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Empirical study on security verification and assessment of neural network accelerator.

Yean-Ru Chen, Tzu-Fan Wang, Si-Han Chen, Yi-Chun Kao

Microprocess. Microsystems, June, 2023

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation.

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo

CoRR, 2023

A Quantum SMT Solver for Bit-Vector Theory.

Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen

CoRR, 2023

2022

A Study on Traffic Asymmetry for Detecting DDoS Attack in P4-based SDN.

Ting-Yu Lin, Ching-Yuan Wang, Ya-Pei Tuan, Meng-Hsun Tsai, Yean-Ru Chen

J. Inf. Sci. Eng., 2022

Robustness Analysis of Neural Network Designs for ReLU Family and Batch Normalization.

Hang Chen, Yi-Pei Su, Yean-Ru Chen, Chi-Chieh Chiu, Sao-Jie Chen

Proceedings of the International Conference on Technologies and Applications of Artificial Intelligence, 2022

Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3.

Chien-Hsiang Lin, Yi-Pei Su, Yean-Ru Chen, Yu-Ting Chou, Sao-Jie Chen

Proceedings of the 65th IEEE International Midwest Symposium on Circuits and Systems, 2022

2014

Accelerating Coverage Estimation Through Partial Model Checking.

Yean-Ru Chen, Jia-Jen Yeh, Pao-Ann Hsiung, Sao-Jie Chen

IEEE Trans. Computers, 2014

Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant.

Yean-Ru Chen, Sao-Jie Chen, Pao-Ann Hsiung, I-Hsin Chou

Proceedings of the 2014 International Conference on Trustworthy Systems and their Applications, 2014

2013

Backward probing deadlock detection for networks-on-chip.

Yean-Ru Chen, Zi-Rong Wangt, Pao-Ann Hsiung, Sao-Jie Chen, Meng-Hsun Tsai

Proceedings of the 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2013

2012

Congestion-aware scheduling for NoC-based reconfigurable systems.

Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.

Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung

J. Comput. Sci. Technol., 2011

2009

Modeling and verification of real-time embedded systems with urgency.

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu

J. Syst. Softw., 2009

Model-driven development of multi-core embedded software.

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chihhsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, William C. Chu

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.

Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

Compositional Automata Reduction with Non-critical Path Slicing.

Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu

Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009

2007

Model Checking Safety-Critical Systems Using Safecharts.

Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin

IEEE Trans. Computers, 2007

Automatic Failure Analysis Using Safecharts.

Yean-Ru Chen, Pao-Ann Hsiung

Int. J. Softw. Eng. Knowl. Eng., 2007

Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.

Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen

Proceedings of the Computer Safety, 2007

2006

Model Checking Timed Systems with Urgencies.

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Model Checking Prioritized Timed Automata.

Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen

Proceedings of the Automated Technology for Verification and Analysis, 2005