Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xiang Fu
2010 – today
- 2013
[j16]Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li: Simple linear string constraints. Formal Asp. Comput. 25(6): 847-891 (2013)- 2012
- [j15]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)
- [c33]Chongjin Liu, Junjie Bian, Xiang Fu, Jufu Feng: Complex Gaussian Mixture Model for fingerprint minutiae. ICPR 2012: 545-548
- [c32]Yuelong Li, Jufu Feng, Chongjin Liu, Xiang Fu: Face recognition with illumination distinction description. ICPR 2012: 809-812
- [c31]Xiang Fu, Chongjin Liu, Junjie Bian, Jufu Feng: Spectral correspondence method for fingerprint minutia matching. ICPR 2012: 1743-1746
- 2011
- [j14]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)
- [j13]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)
- [c30]Chongjin Liu, Jia Cao, Xin Gao, Xiang Fu, Jufu Feng: A novel fingerprint matching algorithm using Minutiae Phase Difference Feature. ICIP 2011: 3201-3204
- 2010
- [j12]Xiang Fu, Huawei Li, Xiaowei Li: Testable Critical Path Selection Considering Process Variation. IEICE Transactions 93-D(1): 59-67 (2010)
- [j11]
- [j10]Jie-xian Zeng, Yong-gang Zhao, Xiang Fu: A Novel Shape Representation and Retrieval Algorithm: Distance Autocorrelogram. JSW 5(9): 1022-1029 (2010)
- [j9]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)
- [c29]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
- [c28]Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya: BAUT: A Bayesian Driven Tutoring System. ITNG 2010: 476-481
- [c27]Xiang Fu, Chung-Chih Li: Modeling Regular Replacement for String Constraint Solving. NASA Formal Methods 2010: 67-76
- [c26]Xiang Fu, Chung-Chih Li: A String Constraint Solver for Detecting Web Application Vulnerability. SEKE 2010: 535-542
- [c25]
- [c24]Xiang Fu: Relational Constraint Driven Test Case Synthesis for Web Applications. TAV-WEB 2010: 39-50
- [e1]Gwen Salaün, Xiang Fu, Sylvain Hallé (Eds.): Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software. EPTCS 35, 2010
2000 – 2009
- 2009
- [c23]Tevfik Bultan, Chris Ferguson, Xiang Fu: A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS 2009: 856-863
- 2008
- [j8]Tevfik Bultan, Xiang Fu: Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. 31(3): 27-30 (2008)
- [j7]Tevfik Bultan, Xiang Fu: Specification of realizable service conversations using collaboration diagrams. Service Oriented Computing and Applications 2(1): 27-39 (2008)
- [c22]Mate' Sztipanovits, Kai Qian, Xiang Fu: The automated web application testing (AWAT) system. ACM Southeast Regional Conference 2008: 88-93
- [c21]Therese J. Albert, Kai Qian, Xiang Fu: Race condition in Ajax-based web application. ACM Southeast Regional Conference 2008: 390-393
- [c20]Yu Hu, Xiang Fu, Xiaoxin Fan, Hideo Fujiwara: Localized random access scan: Towards low area and routing overhead. ASP-DAC 2008: 565-570
- [c19]Xiang Fu, Huawei Li, Yu Hu, Xiaowei Li: Robust test generation for power supply noise induced path delay faults. ASP-DAC 2008: 659-662
- [c18]Xiang Fu, Bao-long Guo: Framework for Distributed Video Surveillance in Heterogeneous Environment. IIH-MSP 2008: 826-829
- [c17]
- [c16]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
- [c15]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
- [c14]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
- [c13]Tevfik Bultan, Xiang Fu: Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA 2007: 122-132
- [c12]Ariane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432
- [c11]Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
- [p1]Tevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
- 2006
- [j6]Tevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006)
- 2005
- [j5]Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols with Message Contents. Int. J. Web Service Res. 2(4): 68-93 (2005)
- [j4]Xiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
- [c10]Aysu Betin-Can, Tevfik Bultan, Xiang Fu: Design for verification for asynchronously communicating Web services. WWW 2005: 750-759
- 2004
- [j3]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)
- [c9]Tevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10
- [c8]Xiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514
- [c7]Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96-
- [c6]
- [c5]
- 2003
- [c4]Xiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200
- [c3]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
- [c2]Xiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202
- 2001
- [c1]Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157
1990 – 1999
- 1999
- [j2]
- [j1]Xiang Fu: Signaling in ATM networks; by R. Onvural, R. Cherukuri (Eds.). Computer Communications 22(12): 1171-1172 (1999)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:25 CEST by the dblp team