Yean-Ru Chen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 9

Top Topics

Nuclear Power Plant

Risk Assessment

Top Venues

J. Inf. Sci. Eng.

Microprocess. Microsystems

Publications

Yean-Ru Chen, Chi-Chieh Chiu, Hang Chen
Robustness Analysis of Neural Network Designs with Sparsity Investigation. J. Inf. Sci. Eng. 40 (3) (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) (2024)
Yean-Ru Chen, Tzu-Fan Wang, Si-Han Chen, Yi-Chun Kao
Empirical study on security verification and assessment of neural network accelerator. Microprocess. Microsystems 99 (2023)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR (2023)
Yean-Ru Chen, Si-Han Chen, Shangwei Lin
SMT Solver With Hardware Acceleration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (6) (2023)
Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen
A Quantum SMT Solver for Bit-Vector Theory. CoRR (2023)
Ting-Yu Lin, Ching-Yuan Wang, Ya-Pei Tuan, Meng-Hsun Tsai, Yean-Ru Chen
A Study on Traffic Asymmetry for Detecting DDoS Attack in P4-based SDN. J. Inf. Sci. Eng. 38 (6) (2022)
Hang Chen, Yi-Pei Su, Yean-Ru Chen, Chi-Chieh Chiu, Sao-Jie Chen
Robustness Analysis of Neural Network Designs for ReLU Family and Batch Normalization. TAAI (2022)
Chien-Hsiang Lin, Yi-Pei Su, Yean-Ru Chen, Yu-Ting Chou, Sao-Jie Chen
Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3. MWSCAS (2022)
Yean-Ru Chen, Jia-Jen Yeh, Pao-Ann Hsiung, Sao-Jie Chen
Accelerating Coverage Estimation Through Partial Model Checking. IEEE Trans. Computers 63 (7) (2014)
Yean-Ru Chen, Sao-Jie Chen, Pao-Ann Hsiung, I-Hsin Chou
Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant. TSA (2014)
Yean-Ru Chen, Zi-Rong Wangt, Pao-Ann Hsiung, Sao-Jie Chen, Meng-Hsun Tsai
Backward probing deadlock detection for networks-on-chip. NOCS (2013)
Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen
Congestion-aware scheduling for NoC-based reconfigurable systems. DATE (2012)
Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. 26 (3) (2011)
Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu
Compositional Automata Reduction with Non-critical Path Slicing. FCS (2009)
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
Model-driven development of multi-core embedded software. IWMSE@ICSE (2009)
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
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP (2009)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu
Modeling and verification of real-time embedded systems with urgency. J. Syst. Softw. 82 (10) (2009)
Yean-Ru Chen, Pao-Ann Hsiung
Automatic Failure Analysis Using Safecharts. Int. J. Softw. Eng. Knowl. Eng. 17 (1) (2007)
Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP (2007)
Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin
Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56 (5) (2007)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao
Model Checking Timed Systems with Urgencies. ATVA (2006)
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen
Model Checking Prioritized Timed Automata. ATVA (2005)