Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
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) | 3 | 0 | |
1997 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | F. Wang; FARN WANG | Theoretical Computer Science | 0 | 0 | |
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 | 1 | 0 | |
1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn ; Mok, A. K. | International Computer Symposium | | | |
2006 | Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface | Wang, Farn; FARN WANG | International Journal of Foundations of Computer Science | 0 | 0 | |
2004 | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings | FARN WANG | | 0 | 0 | |
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 | 0 | 0 | |
2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | G.-D. Huang; F. Wang; FARN WANG | 3rd ATVA (Automated Technology for Verification and Analysis) | 7 | 6 | |
1999 | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | Wang, Farn; 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 | 1 | 0 | |
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 | 12 | 0 | |
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 | 3 | 1 |  |
2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | 1 | 1 | |
2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | 48 | 35 | |
2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | F. Wang; FARN WANG | TACAS'2000, LNCS 1785 | 24 | 16 | |
2008 | Efficient model-checking of dense-time systems with time-convexity analysis | Wang, F.; FARN WANG | Proceedings - Real-Time Systems Symposium | 3 | 0 | |
2013 | Efficient model-checking of dense-time systems with time-convexity analysis | Wang, Farn; FARN WANG | Theoretical Computer Science | 4 | 3 | |
2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | 8 | 6 | |
2003 | Efficient Verification of Timed Automata with BDD-like Data-Structures | F. Wang,; FARN WANG | 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation) | 44 | 6 | |
2004 | Efficient Verification of Timed Automata with BDD-like Data-Structures | Wang, Farn; FARN WANG | International Journal on Software Tools for Technology Transfer | 44 | 6 |  |