Yean-Ru Chen

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