陳 盈如

研究成果

每年研究成果 2005 2006 2007 2009 2010 2011 2014 2020

• 119 引文
• 7 h-指數
• 11 Conference contribution
• 6 Article
• 2 Chapter
• 1 Book
• 1 更多
  • 1 Foreword/postscript

每年研究成果

每年研究成果

搜尋結果

• 2007

  Automatic failure analysis using safecharts

  Chen, Y. R. & Hsiung, P. A., 2007 2月, 於: International Journal of Software Engineering and Knowledge Engineering. 17, 1, p. 57-78 22 p.

  研究成果: Article › 同行評審

  • Failure analysis 100%
  • Repair 47%
  • Formal verification 45%
  • Consumer electronics 23%
  • Avionics 21%

• Model checking safety-critical systems using safecharts

  Hsiung, P. A., Chen, Y. R. & Lin, Y. H., 2007 5月, 於: IEEE Transactions on Computers. 56, 5, p. 692-705 14 p.

  研究成果: Article › 同行評審

  • Safety-critical Systems 100%
  • Model Checking 60%
  • Model checking 56%
  • Manipulator 27%
  • Safety 24%
  26 引文 斯高帕斯（Scopus）
• 2009

  Modeling and verification of real-time embedded systems with urgency

  Hsiung, P. A., Lin, S. W., Chen, Y. R., Huang, C. H., Shih, C. & Chu, W. C., 2009 10月, 於: Journal of Systems and Software. 82, 10, p. 1627-1641 15 p.

  研究成果: Article › 同行評審

  • Real time systems 100%
  • Embedded systems 93%
  • Computer simulation 54%
  • Model checking 35%
  • Semantics 34%
  3 引文 斯高帕斯（Scopus）

• VERTAF/Multi-Core: A sysml-based application framework for multi-core embedded software development

  Lin, C. S., Hsiung, P. A., Lin, S. W., Chen, Y. R., Lu, C. H., Tong, S. Y., Su, W. T., Shih, C., Hsueh, N. L., Chang, C. H. & Koong, C. S., 2009, 於: Journal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an. 32, 7, p. 985-991 7 p.

  研究成果: Article › 同行評審

  • Embedded software 100%
  • Embedded systems 74%
  • Software engineering 65%
  • Personal computing 41%
  • Video recording 34%
  4 引文 斯高帕斯（Scopus）
• 2011

  VERTAF/multi-core: A SysML-based application framework for multi-core embedded software development

  Lin, C. S., Lu, C. H., Lin, S. W., Chen, Y. R. & Hsiung, P. A., 2011 5月, 於: Journal of Computer Science and Technology. 26, 3, p. 448-462 15 p.

  研究成果: Article › 同行評審

  • Embedded Software 100%
  • Embedded software 56%
  • Embedded Systems 53%
  • Embedded systems 42%
  • Multi-core Processor 40%
  7 引文 斯高帕斯（Scopus）
• 2014

  Accelerating coverage estimation through partial model checking

  Chen, Y. R., Yeh, J. J., Hsiung, P. A. & Chen, S. J., 2014 7月, 於: IEEE Transactions on Computers. 63, 7, p. 1613-1625 13 p., 6484055.

  研究成果: Article › 同行評審

  • Model Checking 100%
  • Model checking 93%
  • Coverage 87%
  • Mutation 70%
  • Partial 59%
  3 引文 斯高帕斯（Scopus）