Xiang Fu

2008
23	EE	Yu Hu, Xiang Fu, Xiaoxin Fan, Hideo Fujiwara: Localized random access scan: Towards low area and routing overhead. ASP-DAC 2008: 565-570
22	EE	Xiang Fu, Huawei Li, Yu Hu, Xiaowei Li: Robust test generation for power supply noise induced path delay faults. ASP-DAC 2008: 659-662
21	EE	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
2007
20	EE	Ariane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432
19	EE	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
18	EE	Tevfik Bultan, Xiang Fu: Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA 2007: 122-132
17	EE	Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
16	EE	Tevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
2006
15	EE	Tevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006)
2005
14	EE	Aysu Betin-Can, Tevfik Bultan, Xiang Fu: Design for verification for asynchronously communicating Web services. WWW 2005: 750-759
13	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
2004
12	EE	Tevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10
11	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514
10	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96-
9	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Model checking XML manipulating software. ISSTA 2004: 252-262
8	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Analysis of interacting BPEL web services. WWW 2004: 621-630
7	EE	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	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200
5	EE	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	EE	Xiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202
2001
3	EE	Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157
1999
2	EE	Xiang Fu: Broadband Access Network; by L.A. Ims. Computer Communications 22(12): 1171- (1999)
1	EE	Xiang Fu: Signaling in ATM networks; by R. Onvural, R. Cherukuri (Eds.). Computer Communications 22(12): 1171-1172 (1999)

Coauthor Index

1	Aysu Betin-Can	[14]
2	Tevfik Bultan	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
3	Shijun Chen	[19]
4	Xiaoxin Fan	[23]
5	Hideo Fujiwara	[23]
6	Ariane Gravel	[20]
7	Yu Hu	[22] [23]
8	Richard Hull	[3] [5]
9	Huawei Li	[22]
10	Xiaowei Li	[22]
11	Jigang Liu	[21]
12	Xin Lu	[19]
13	Boris Peltsverger	[19] [21]
14	Kai Qian	[19] [21]
15	Jianwen Su	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [20]
16	Lixin Tao	[19] [21]
17	Xiangpeng Zhao	[17]

Colors in the list of coauthors