| 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) | |
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