• 來源:Scopus
  • 按照存儲在普爾(Pure)的出版物數量及斯高帕斯(Scopus)引文計算。
20052020

每年研究成果

如果您對這些純文本內容做了任何改變,很快就會看到。
篩選
Conference contribution

搜尋結果

  • 2020

    Instruction Verification of Ethereum Virtual Machine by Formal Method

    Ke, C. S. & Chen, Y. R., 2020 二月, Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 69-74 6 p. 9181334. (Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings).

    研究成果: Conference contribution

  • 2014

    Unified security and safety risk assessment - A case study on nuclear power plant

    Chen, Y. R., Chen, S. J., Hsiung, P. A. & Chou, I. H., 2014 十一月 13, Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014. Institute of Electrical and Electronics Engineers Inc., p. 22-28 7 p. 6956707. (Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014).

    研究成果: Conference contribution

    11 引文 斯高帕斯(Scopus)
  • 2013

    Backward probing deadlock detection for networks-on-chip

    Chen, Y-R., Wangt, Z. R., Hsiunqt, P. A., Chen, S. J. & Tsai, M-H., 2013 八月 19, 2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013. 6558396. (2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013).

    研究成果: Conference contribution

    1 引文 斯高帕斯(Scopus)
  • 2012

    Congestion-aware scheduling for NoC-based reconfigurable systems

    Chao, H. L., Chen, Y. R., Tung, S. Y., Hsiung, P. A. & Chen, S. J., 2012, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012. p. 1561-1566 6 p. 6176721. (Proceedings -Design, Automation and Test in Europe, DATE).

    研究成果: Conference contribution

    8 引文 斯高帕斯(Scopus)
  • 2010

    Formal modeling and verification for Network-on-chip

    Chen, Y-R., Su, W. T., Hsiung, P. A., Lan, Y. C., Hu, Y. H. & Chen, S. J., 2010 九月 20, 1st International Conference on Green Circuits and Systems, ICGCS 2010. p. 299-304 6 p. 5543050. (1st International Conference on Green Circuits and Systems, ICGCS 2010).

    研究成果: Conference contribution

    16 引文 斯高帕斯(Scopus)
  • 2009

    Model-driven development of multi-core embedded software

    Hsiung, P. A., Lin, S. W., Chen, Y-R., Hsueh, N. L., Chang, C. H., Shih, C. H., Koong, C. S., Lin, C. S., Lu, C. H., Tong, S. Y., Su, W. T. & Chu, W. C., 2009 十月 13, Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009. p. 9-16 8 p. 5071378. (Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009).

    研究成果: Conference contribution

    10 引文 斯高帕斯(Scopus)
  • VERTAF/Multi-core: A SysML-Based application framework for multi-core embedded software development

    Hsiung, P. A., Lin, C. S., Lin, S. W., Chen, Y. R., Lu, C. H., Tong, S. Y., Su, W. T., Shih, C., Koong, C. S., Hsueh, N. L., Chang, C. H. & Chu, W. C., 2009, Algorithms and Architectures for Parallel Processing - 9th International Conference, ICA3PP 2009, Proceedings. p. 303-314 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 5574 LNCS).

    研究成果: Conference contribution

    3 引文 斯高帕斯(Scopus)
  • 2007

    Modeling and automatic failure analysis of safety-critical systems using extended safecharts

    Chen, Y. R., Hsiung, P. A. & Chen, S. J., 2007, Computer Safety, Reliability, and Security - 26th International Conference, SAFECOMP 2007, Proceedings. Springer Verlag, p. 451-464 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4680 LNCS).

    研究成果: Conference contribution

  • Sequential color LED backlight driving system for LCD panels with area control

    Wu, T. F., Chen, C. C., Wu, C. Y., Lu, P. C. & Chen, Y. R., 2007, PESC 07 - IEEE 38th Annual Power Electronics Specialists Conference. p. 2947-2952 6 p. 4342490. (PESC Record - IEEE Annual Power Electronics Specialists Conference).

    研究成果: Conference contribution

    10 引文 斯高帕斯(Scopus)
  • 2006

    Model checking timed systems with urgencies

    Hsiung, P. A., Lin, S. W., Chen, Y. R., Huang, C. H., Yeh, J. J., Sun, H. Y., Lin, C. S. & Liao, H. W., 2006, Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Proceedings. Springer Verlag, p. 67-81 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4218 LNCS).

    研究成果: Conference contribution

    3 引文 斯高帕斯(Scopus)
  • 2005

    Model checking prioritized timed automata

    Lin, S. W., Hsiung, P. A., Huang, C. H. & Chen, Y-R., 2005 十二月 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 370-384 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 3707 LNCS).

    研究成果: Conference contribution

    13 引文 斯高帕斯(Scopus)