Следене
Xiang Fu
Xiang Fu
Professor, Department of Computer Science, Hofstra University
Потвърден имейл адрес: hofstra.edu
Заглавие
Позовавания
Позовавания
Година
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
9852004
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
2292007
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
2012004
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
1942004
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
1292006
Specification of realizable service conversations using collaboration diagrams
T Bultan, X Fu
Service Oriented Computing and Applications 2 (1), 27-39, 2008
1062008
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
982002
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
972008
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
922003
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
852005
Model checking XML manipulating software
X Fu, T Bultan, J Su
ACM SIGSOFT Software Engineering Notes 29 (4), 252-262, 2004
852004
SAFELI: SQL injection scanner using symbolic execution
X Fu, K Qian
Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008
802008
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
732008
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
612010
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
572007
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
482004
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20