Yean-Ru Chen

Yean-Ru Chen

National Cheng Kung University - Tainan City / Taiwan
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 5150816
國立成功大學
person_outline Yean-Ru Chen's MOST POPULAR ARTICLES
1-) Formal modeling and verification for network-on-chipYR Chen, WT Su, PA Hsiung, YC Lan, YH Hu, SJ ChenThe 2010 International Conference on Green Circuits and Systems, 299-304, 2010352010
2-) Model checking safety-critical systems using safechartsPA Hsiung, YR Chen, YH LinIEEE Transactions on Computers 56 (5), 692-705, 2007342007
3-) Unified security and safety risk assessment-a case study on nuclear power plantYR Chen, SJ Chen, PA Hsiung, IH Chou2014 International Conference on Trustworthy Systems and Their Applications …, 2014242014
4-) Model checking prioritized timed automataSW Lin, PA Hsiung, CH Huang, YR ChenAutomated Technology for Verification and Analysis: Third International …, 2005242005
5-) Congestion-aware scheduling for NoC-based reconfigurable systemsHL Chao, YR Chen, SY Tung, PA Hsiung, SJ Chen2012 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2012192012