Xiang Fu

	2012
46		Xiang Fu, Huawei Li, Xiaowei Li: Testable Path Selection and Grouping for Faster Than At-Speed Testing. IEEE Trans. VLSI Syst. 20(2): 236-247 (2012)
	2011
45		Chongjin Liu, Jia Cao, Xin Gao, Xiang Fu, Jufu Feng: A novel fingerprint matching algorithm using Minutiae Phase Difference Feature. ICIP 2011: 3201-3204
44		Xiang Fu, Anqiang Li, Liping Wang, Changming Ji: Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization. Computers & Mathematics with Applications 62(6): 2463-2471 (2011)
43		Jie-xian Zeng, Sheng Yu, Xiang Fu, Chao-xia Li: A Line Segments Matching Method based on Epipolar-line Constraint and Line Segment Features. JSW 6(9): 1746-1754 (2011)
	2010
42		Gwen Salaün, Xiang Fu, Sylvain Hallé: Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software TAV-WEB 2010
41		Xiang Fu, Huawei Li, Xiaowei Li: On Selection of Testable Paths with Specified Lengths for Faster-Than-At-Speed Testing. Asian Test Symposium 2010: 45-48
40		Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya: BAUT: A Bayesian Driven Tutoring System. ITNG 2010: 476-481
39		Xiang Fu, Chung-Chih Li: A String Constraint Solver for Detecting Web Application Vulnerability. SEKE 2010: 535-542
38		Xiang Fu: Relational Constraint Driven Test Case Synthesis for Web Applications TAV-WEB 2010: 39-50
37		Xiang Fu: Conformance Verification of Privacy Policies. WS-FM 2010: 86-100
36		Xiang Fu, Huawei Li, Xiaowei Li: Testable Critical Path Selection Considering Process Variation. IEICE Transactions 93-D(1): 59-67 (2010)
35		Xiang Fu, Jie-xian Zeng: Local Features Based Image Sequence Retrieval. JCP 5(7): 987-994 (2010)
34		Jie-xian Zeng, Yong-gang Zhao, Xiang Fu: A Novel Shape Representation and Retrieval Algorithm: Distance Autocorrelogram. JSW 5(9): 1022-1029 (2010)
33		Tiesong Hu, Xuning Guo, Xiang Fu, Yibing Lv: A neural network approach for solving linear bilevel programming problem. Knowl.-Based Syst. 23(3): 239-242 (2010)
	2009
32		Tevfik Bultan, Chris Ferguson, Xiang Fu: A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS 2009: 856-863
	2008
31		Therese J. Albert, Kai Qian, Xiang Fu: Race condition in Ajax-based web application. ACM Southeast Regional Conference 2008: 390-393
30		Mate' Sztipanovits, Kai Qian, Xiang Fu: The automated web application testing (AWAT) system. ACM Southeast Regional Conference 2008: 88-93
29		Yu Hu, Xiang Fu, Xiaoxin Fan, Hideo Fujiwara: Localized random access scan: Towards low area and routing overhead. ASP-DAC 2008: 565-570
28		Xiang Fu, Huawei Li, Yu Hu, Xiaowei Li: Robust test generation for power supply noise induced path delay faults. ASP-DAC 2008: 659-662
27		Xiang Fu, Bao-long Guo: Framework for Distributed Video Surveillance in Heterogeneous Environment. IIH-MSP 2008: 826-829
26		Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu: APOGEE: automated project grading and instant feedback system for web based computing. SIGCSE 2008: 77-81
25		Xiang Fu, Kai Qian: SAFELI: SQL injection scanner using symbolic execution. TAV-WEB 2008: 34-39
24		Tevfik Bultan, Xiang Fu: Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. 31(3): 27-30 (2008)
23		Tevfik Bultan, Xiang Fu: Specification of realizable service conversations using collaboration diagrams. Service Oriented Computing and Applications 2(1): 27-39 (2008)
	2007
22		Ariane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432
21		Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao: A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. COMPSAC (1) 2007: 87-96
20		Da Wang, Xiaoxin Fan, Xiang Fu, Hui Liu, Ke Wen, Rui Li, Huawei Li, Yu Hu, Xiaowei Li: The design-for-testability features of a general purpose microprocessor. ITC 2007: 1-9
19		Tevfik Bultan, Xiang Fu: Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA 2007: 122-132
18		Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
17		Tevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
	2006
16		Tevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006)
	2005
15		Aysu Betin-Can, Tevfik Bultan, Xiang Fu: Design for verification for asynchronously communicating Web services. WWW 2005: 750-759
14		Xiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
13		Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols with Message Contents. Int. J. Web Service Res. 2(4): 68-93 (2005)
	2004
12		Tevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10
11		Xiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514
10		Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96-
9		Xiang Fu, Tevfik Bultan, Jianwen Su: Model checking XML manipulating software. ISSTA 2004: 252-262
8		Xiang Fu, Tevfik Bultan, Jianwen Su: Analysis of interacting BPEL web services. WWW 2004: 621-630
7		Xiang Fu, Tevfik Bultan, Jianwen Su: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004)
	2003
6		Xiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200
5		Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su: Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410
	2002
4		Xiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202
	2001
3		Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157
	1999
2		Xiang Fu: Broadband Access Network; by L.A. Ims. Computer Communications 22(12): 1171 (1999)
1		Xiang Fu: Signaling in ATM networks; by R. Onvural, R. Cherukuri (Eds.). Computer Communications 22(12): 1171-1172 (1999)

Coauthor Index

1	Therese J. Albert	[31]
2	Prabir Bhattacharya	[40]
3	Tevfik Bultan	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [23] [24] [32]
4	Aysu Betin Can (Aysu Betin-Can)	[15]
5	Jia Cao	[45]
6	Shijun Chen	[21]
7	Xiaoxin Fan	[20] [29]
8	Jufu Feng	[45]
9	Chris Ferguson	[32]
10	Hideo Fujiwara	[29]
11	Xin Gao	[45]
12	Ariane Gravel	[22]
13	Bao-long Guo	[27]
14	Xuning Guo	[33]
15	Sylvain Hallé	[42]
16	Tiesong Hu	[33]
17	Yu Hu	[20] [28] [29]
18	Richard Hull	[3] [5]
19	Changming Ji	[44]
20	Anqiang Li	[44]
21	Chao-xia Li	[43]
22	Chung-Chih Li	[39]
23	Huawei Li	[20] [28] [36] [41] [46]
24	Rui Li	[20]
25	Xiaowei Li	[20] [28] [36] [41] [46]
26	Chongjin Liu	[45]
27	Hui Liu	[20]
28	Jigang Liu	[26]
29	Xin Lu	[21]
30	Yibing Lv	[33]
31	Boris Peltsverger	[21] [26]
32	Kai Qian	[21] [25] [26] [30] [31] [40]
33	Gwen Salaün	[42]
34	Jianwen Su	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [22]
35	Mate' Sztipanovits	[30]
36	Song Tan	[40]
37	Lixin Tao	[21] [26]
38	Da Wang	[20]
39	Liping Wang	[44]
40	Ke Wen	[20]
41	Sheng Yu	[43]
42	Jie-xian Zeng	[34] [35] [43]
43	Xiangpeng Zhao	[18]
44	Yong-gang Zhao	[34]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page