公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2013 | 273-289 Temporal specification mining for anomaly analysis | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1997 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | FARN WANG | Theoretical Computer Science | | | |
2016 | ABCA: Android Black-box Coverage Analyzer of mobile app without source code | Huang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | | | |
1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn | International Computer Symposium | | | |
2006 | Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface | FARN WANG | International Journal of Foundations of Computer Science | | | |
2004 | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings | FARN WANG | | | | |
2016 | Automated testing of web applications with text input | Wu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | | | |
2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | G.-D. Huang; FARN WANG | 3rd ATVA (Automated Technology for Verification and Analysis) | | 6 | |
1999 | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | FARN WANG | FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I | | | |
1998 | Automatic Verification on the Large. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings | | | |
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 | |
2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | | | |
2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | | 35 | |
2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | FARN WANG | TACAS'2000, LNCS 1785 | | 19 | |
2013 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Theoretical Computer Science | | 3 | |
2008 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Proceedings - Real-Time Systems Symposium | | | |
2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | | | |
2004 | Efficient Verification of Timed Automata with BDD-like Data-Structures | FARN WANG | International Journal on Software Tools for Technology Transfer | | | |
2003 | Efficient Verification of Timed Automata with BDD-Like Data-Structures. | FARN WANG | Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings | 37 | 0 | |