| 2008 |
|---|
| 27 | EE | Yu Hu,
Xiang Fu,
Xiaoxin Fan,
Hideo Fujiwara:
Localized random access scan: Towards low area and routing overhead.
ASP-DAC 2008: 565-570 |
| 26 | 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 |
| 25 | 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 |
| 24 | EE | Xiang Fu,
Kai Qian:
SAFELI: SQL injection scanner using symbolic execution.
TAV-WEB 2008: 34-39 |
| 23 | EE | Tevfik Bultan,
Xiang Fu:
Choreography Modeling and Analysis with Collaboration Diagrams.
IEEE Data Eng. Bull. 31(3): 27-30 (2008) |
| 22 | EE | Tevfik Bultan,
Xiang Fu:
Specification of realizable service conversations using collaboration diagrams.
Service Oriented Computing and Applications 2(1): 27-39 (2008) |
| 2007 |
|---|
| 21 | EE | Ariane Gravel,
Xiang Fu,
Jianwen Su:
An Analysis Tool for Execution of BPEL Services.
CEC/EEE 2007: 429-432 |
| 20 | 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 |
| 19 | EE | Tevfik Bultan,
Xiang Fu:
Specification of Realizable Service Conversations Using Collaboration Diagrams.
SOCA 2007: 122-132 |
| 18 | EE | Jianwen Su,
Tevfik Bultan,
Xiang Fu,
Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies.
WS-FM 2007: 1-16 |
| 17 | EE | Tevfik Bultan,
Xiang Fu,
Jianwen Su:
Analyzing Conversations: Realizability, Synchronizability, and Verification.
Test and Analysis of Web Services 2007: 57-85 |
| 2006 |
|---|
| 16 | EE | Tevfik Bultan,
Jianwen Su,
Xiang Fu:
Analyzing Conversations of Web Services.
IEEE Internet Computing 10(1): 18-25 (2006) |
| 2005 |
|---|
| 15 | EE | Aysu Betin-Can,
Tevfik Bultan,
Xiang Fu:
Design for verification for asynchronously communicating Web services.
WWW 2005: 750-759 |
| 14 | EE | Xiang Fu,
Tevfik Bultan,
Jianwen Su:
Synchronizability of Conversations among Web Services.
IEEE Trans. Software Eng. 31(12): 1042-1055 (2005) |
| 13 | EE | 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 | 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) |
