Xiang Fu

	2009
30		Tevfik Bultan, Chris Ferguson, Xiang Fu: A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS 2009: 856-863
	2008
29		Therese J. Albert, Kai Qian, Xiang Fu: Race condition in Ajax-based web application. ACM Southeast Regional Conference 2008: 390-393
28		Mate' Sztipanovits, Kai Qian, Xiang Fu: The automated web application testing (AWAT) system. ACM Southeast Regional Conference 2008: 88-93
27		Yu Hu, Xiang Fu, Xiaoxin Fan, Hideo Fujiwara: Localized random access scan: Towards low area and routing overhead. ASP-DAC 2008: 565-570
26		Xiang Fu, Huawei Li, Yu Hu, Xiaowei Li: Robust test generation for power supply noise induced path delay faults. ASP-DAC 2008: 659-662
25		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
24		Xiang Fu, Kai Qian: SAFELI: SQL injection scanner using symbolic execution. TAV-WEB 2008: 34-39
23		Tevfik Bultan, Xiang Fu: Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. 31(3): 27-30 (2008)
22		Tevfik Bultan, Xiang Fu: Specification of realizable service conversations using collaboration diagrams. Service Oriented Computing and Applications 2(1): 27-39 (2008)
	2007
21		Ariane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432
20		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
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	[29]
2	Aysu Betin-Can	[15]
3	Tevfik Bultan	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [22] [23] [30]
4	Shijun Chen	[20]
5	Xiaoxin Fan	[27]
6	Chris Ferguson	[30]
7	Hideo Fujiwara	[27]
8	Ariane Gravel	[21]
9	Yu Hu	[26] [27]
10	Richard Hull	[3] [5]
11	Huawei Li	[26]
12	Xiaowei Li	[26]
13	Jigang Liu	[25]
14	Xin Lu	[20]
15	Boris Peltsverger	[20] [25]
16	Kai Qian	[20] [24] [25] [28] [29]
17	Jianwen Su	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [21]
18	Mate' Sztipanovits	[28]
19	Lixin Tao	[20] [25]
20	Xiangpeng Zhao	[18]

Colors in the list of coauthors