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 | 978 | 2004 |
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 | 582 | 2003 |
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 | 220 | 2007 |
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 | 197 | 2004 |
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 | 192 | 2004 |
Synchronizability of conversations among web services X Fu, T Bultan, J Su IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005 | 170 | 2005 |
Analyzing conversations of web services T Bultan, J Su, X Fu IEEE Internet Computing 10 (1), 18-25, 2006 | 132 | 2006 |
Specification of realizable service conversations using collaboration diagrams T Bultan, X Fu Service Oriented Computing and Applications 2 (1), 27-39, 2008 | 104 | 2008 |
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 | 96 | 2002 |
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 | 95 | 2008 |
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 | 90 | 2003 |
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 | 84 | 2005 |
Model checking XML manipulating software X Fu, T Bultan, J Su ACM SIGSOFT Software Engineering Notes 29 (4), 252-262, 2004 | 83 | 2004 |
SAFELI: SQL injection scanner using symbolic execution X Fu, K Qian Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008 | 78 | 2008 |
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 | 69 | 2008 |
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 | 66 | 2005 |
Software architecture and design illuminated K Qian, X Fu, L Tao, C Xu Jones & Bartlett Publishers, 2009 | 60 | 2009 |
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 | 50 | 2010 |
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 | 50 | 2007 |
Formal specification and* verification of asynchronously communicating Web services X Fu University of California, Santa Barbara, 2004 | 47 | 2004 |