永斌 鄭 的照片

查看斯高帕斯 (Scopus) 概要

鄭 永斌

教授

按照存儲在普爾（Pure）的出版物數量及斯高帕斯（Scopus）引文計算。
20022023

每年研究成果

如果您對這些純文本內容做了任何改變，很快就會看到。
  • 17 會議論文篇章
  • 6 期刊論文
  • 2 會議論文
篩選
會議論文篇章

搜尋結果

  • 2020

    GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and Couplings

    Cheng, Y. P., Hsiung, W. N., Wu, Y. S. & Chen, L. H., 10月 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion, ICSE-Companion 2020. Institute of Electrical and Electronics Engineers Inc., p. 73-76 4 p. 9270305. (Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion, ICSE-Companion 2020).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

  • 2016

    KORAT - A platform independent test automation tool by emulating keyboard/mouse hardware signals

    Cheng, Y. P., Liang, D. & Wang, W. J., 12 10月 2016, IEEE AUTOTESTCON 2016, AUTOTESTCON 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7589572. (AUTOTESTCON (Proceedings); 卷 2016-October).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）

  • Toward arbitrary mapping for debugging visualizations

    Cheng, Y. P., Ku, C. Y., Pan, W. C., Yang, C. & Lin, T. S., 14 5月 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 605-608 4 p. (Proceedings - International Conference on Software Engineering).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2015

    A non-intrusive, platform-independent capture/replay test automation system

    Cheng, Y. P., Kuo, J. W., Cheng, B. & Kuo, C. H., 23 11月 2015, Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., p. 1122-1127 6 p. 7336319. (Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2013

    Executable program documentation based on debugging break points

    Cheng, Y. P., Chen, J. H. & Yu, Y. Y., 2013, APSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference. Muenchaisri, P. & Rothermel, G. (編輯). IEEE Computer Society, p. 199-206 8 p. 6805407. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 卷 1).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2012

    Density-adaptive range-free localization in large-scale sensor networks

    Chu, Y. L., Tzeng, J. R., Cheng, Y. P. & Sun, M. T., 2012, Proceedings - 41st International Conference on Parallel Processing Workshops, ICPPW 2012. p. 488-495 8 p. 6337517. (Proceedings of the International Conference on Parallel Processing Workshops).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    8 引文 斯高帕斯（Scopus）
  • 2011

    Intrusive test automation with failed test case clustering

    Hsueh, C. H., Cheng, Y. P. & Pan, W. C., 2011, Proceedings - 18th Asia-Pacific Software Engineering Conference, APSEC 2011. p. 89-96 8 p. 6130674. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    6 引文 斯高帕斯（Scopus）
  • 2010

    XDIVA: Automatic animation between debugging break points

    Cheng, Y. P., Tsai, H. Y., Wang, C. S. & Hsueh, C. H., 2010, SOFTVIS'10 - Proceedings of the 2010 International Symposium on Software Visualization, Co-located with VisWeek 2010. p. 221-222 2 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2008

    ARCATS - Tackling state explosion in a multi-phased, Compositionalway

    Cheng, Y. P. & Lee, C. Y., 2008, Proceedings: DMS 2008 - 14th International Conference on Distributed Multimedia Systems. Knowledge Systems Institute Graduate School, p. 100-105 6 p. (Proceedings: DMS 2008 - 14th International Conference on Distributed Multimedia Systems).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

  • SoftMon: Programmable software monitoring with minimum overhead by helper-threading

    Cheng, Y. P. & Chen, H. S., 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 741-747 7 p. (Proceedings of the ACM Symposium on Applied Computing).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    1 引文 斯高帕斯（Scopus）
  • 2007

    An ontology-based taxonomy of bad code smells

    Cheng, Y. P. & Liao, J. R., 2007, Proceedings of the 3rd IASTED International Conference on Advances in Computer Science and Technology, ACST 2007. p. 437-442 6 p. (Proceedings of the 3rd IASTED International Conference on Advances in Computer Science and Technology, ACST 2007).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    6 引文 斯高帕斯（Scopus）
  • 2006

    ARCATS - A Scalable Compositional Analysis Tool Suite

    Cheng, Y. P., Cheng, Y. R. & Wang, H. Y., 2006, Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing. p. 1852-1853 2 p. (Proceedings of the ACM Symposium on Applied Computing; 卷 2).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）

  • On-the-fly branching bisimulation minimization for compositional analysis

    Cheng, Y. P., Wang, H. Y. & Cheng, Y. R., 2006, Implementation and Application of Automata - 11th International Conference, CIAA 2006, Proceedings. Springer Verlag, p. 219-229 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4094 LNCS).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2003

    Awk-Linux: An educational operating system by program instrumentation

    Cheng, Y. P., 2003, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education. p. 748-752 5 p. (Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    1 引文 斯高帕斯（Scopus）

  • Towards scalable compositional analysis by refactoring design models

    Cheng, Y. P., Young, M., Huang, C. L. & Pan, C. Y., 2003, Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11. p. 247-256 10 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    5 引文 斯高帕斯（Scopus）

  • Towards Scalable Compositional Analysis by Refactoring Design Models

    Cheng, Y. P., Young, M., Huang, C. L. & Pan, C. Y., 2003, Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). Association for Computing Machinery (ACM), p. 247-256 10 p. (Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    2 引文 斯高帕斯（Scopus）
  • 2002

    Refactoring design models for inductive verification

    Cheng, Y. P., 2002, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. Frankl, P. G. (編輯). Association for Computing Machinery (ACM), p. 164-168 5 p. (Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis).

    研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

    6 引文 斯高帕斯（Scopus）