Follow
Xiang Fu
Xiang Fu
Professor, Department of Computer Science, Hofstra University
Verified email at hofstra.edu
Title
Cited by
Cited by
Year
Analysis of interacting BPEL web services
X Fu, T Bultan, J Su
Proceedings of the 13th international conference on World Wide Web, 621-630, 2004
9772004
Conversation specification: a new approach to design and analysis of e-service composition
T Bultan, X Fu, R Hull, J Su
Proceedings of the 12th international conference on World Wide Web, 403-410, 2003
5822003
A static analysis framework for detecting SQL injection vulnerabilities
X Fu, X Lu, B Peltsverger, S Chen, K Qian, L Tao
31st annual international computer software and applications conference …, 2007
2182007
Conversation protocols: a formalism for specification and verification of reactive electronic services
X Fu, T Bultan, J Su
Theoretical Computer Science 328 (1-2), 19-37, 2004
1962004
Wsat: A tool for formal analysis of web services
X Fu, T Bultan, J Su
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1922004
Synchronizability of conversations among web services
X Fu, T Bultan, J Su
IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005
1692005
Analyzing conversations of web services
T Bultan, J Su, X Fu
IEEE Internet Computing 10 (1), 18-25, 2006
1312006
Specification of realizable service conversations using collaboration diagrams
T Bultan, X Fu
Service Oriented Computing and Applications 2 (1), 27-39, 2008
1042008
Towards a theory of web service choreographies
J Su, T Bultan, X Fu, X Zhao
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
952008
Formal verification of e-services and workflows
X Fu, T Bultan, J Su
Web Services, E-Business, and the Semantic Web: CAiSE 2002 International …, 2002
952002
Conversation protocols: A formalism for specification and verification of reactive electronic services
X Fu, T Bultan, J Su
International Conference on Implementation and Application of Automata, 188-200, 2003
902003
Realizability of conversation protocols with message contents
X Fu, T Bultan, J Su
International Journal of Web Services Research (IJWSR) 2 (4), 68-93, 2005
842005
Model checking XML manipulating software
X Fu, T Bultan, J Su
ACM SIGSOFT Software Engineering Notes 29 (4), 252-262, 2004
832004
SAFELI: SQL injection scanner using symbolic execution
X Fu, K Qian
Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008
782008
APOGEE: automated project grading and instant feedback system for web based computing
X Fu, B Peltsverger, K Qian, L Tao, J Liu
ACM SIGCSE Bulletin 40 (1), 77-81, 2008
682008
Design for verification for asynchronously communicating web services
A Betin-Can, T Bultan, X Fu
Proceedings of the 14th international conference on World Wide Web, 750-759, 2005
662005
Software architecture and design illuminated
K Qian
Jones & Bartlett Learning, 2010
592010
Effect of intracoronary administration of anisodamine on slow reflow phenomenon following primary percutaneous coronary intervention in patients with acute myocardial infarction
XH Fu, WZ Fan, XS Gu, Y Wei, YF Jiang, WL Wu, SQ Li, GZ Hao, QM Wei, ...
Chinese medical journal 120 (14), 1226-1231, 2007
502007
A model of entrepreneurship education for computer science and computer engineering students
S Doboli, GL Kamberova, J Impagliazzo, X Fu, EH Currie
2010 IEEE Frontiers in Education Conference (FIE), T4D-1-T4D-6, 2010
492010
Formal specification and* verification of asynchronously communicating Web services
X Fu
University of California, Santa Barbara, 2004
472004
The system can't perform the operation now. Try again later.
Articles 1–20