Browsing NTU Scholars | NTU Scholars

Showing results 1 to 20 of 117 next >

Issue Date	Title	Author(s)	Type	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	conference paper	3	0
1997	A Temporal Logic for Real-Time Partial-Ordering with Named Transactions	F. Wang; FARN WANG	journal article	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	conference paper	1	0
1992	Asynchronous Real-Time Event Logic	王凡; Mok, A. K.; Wang, Farn ; Mok, A. K.
2006	Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface	Wang, Farn; FARN WANG	journal article	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	conference paper	0	0
2016	Automated testing of web applications with text input	Wu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG	conference paper	0	0
2005	Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems	G.-D. Huang; F. Wang; FARN WANG	conference paper	7	6
1999	Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.	Wang, Farn; FARN WANG	conference paper	1	0
1998	Automatic Verification on the Large.	Wang, Farn; Hsiung, Pao-Ann; FARN WANG	conference paper	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	journal article	3	1
2015	Complexity of node coverage games	Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG	journal article	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	conference paper	1	0
2002	Efficient and User-Friendly Verification.	FARN WANG	journal article	48	35
2003	Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems	FARN WANG	conference paper	24	16
2013	Efficient model-checking of dense-time systems with time-convexity analysis	Wang, Farn; FARN WANG	journal article	4	3
2008	Efficient model-checking of dense-time systems with time-convexity analysis	Wang, F.; FARN WANG	conference paper	3	0
2011	Efficient verification of distributed real-time systems with broadcasting behaviors	Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG	journal article	8	4
2003	Efficient Verification of Timed Automata with BDD-like Data-Structures	FARN WANG	conference paper	44	6
2004	Efficient Verification of Timed Automata with BDD-like Data-Structures	FARN WANG ; Wang, Farn	journal article	44	6

Showing results 1 to 20 of 117 next >

DSpace CRIS

Browsing by Author