公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2004 | BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction | Wang, Farn ; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw | IEEE Transactions on Software Engineering | 4 | 1 | |
2003 | OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. | Wang, Farn; Yu, Fang; FARN WANG | Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers | | | |
2004 | Securing web application code by static analysis and runtime protection. | Huang, Yao-Wen; Yu, Fang; Hang, Christian; Tsai, Chung-Hung; Lee, Der-Tsai; Kuo, Sy-Yen; SY-YEN KUO | Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004 | 373 | 0 | |
2012 | Symbolic Consistency Checking of OpenMP Parallel Programs | Yu, Fang; Yang, Shun-Ching; Wang, Farn; Chen, Guan-Cheng; Chan, Che-Chang; FARN WANG | Acm Sigplan Notices | | | |
2005 | Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol | Wang, Farn ; Huang, Geng-Dian; Yu, Fang | Journal of Embedded Computing | | | |
2006 | TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering | Wang, Farn ; Huang, Geng-Dian; Yu, Fang | IEEE Transactions on Software Engineering | 17 | 7 | |