The SCEAS System
Navigation Menu

Search the dblp DataBase


Xiang Fu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tevfik Bultan, Xiang Fu, Jianwen Su
    Tools for Automated Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:8-10 [Conf]
  2. Xiang Fu, Tevfik Bultan, Jianwen Su
    WSAT: A Tool for Formal Analysis of Web Services. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:510-514 [Conf]
  3. Xiang Fu, Tevfik Bultan, Jianwen Su
    Realizability of Conversation Protocols With Message Contents. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:96-0 [Conf]
  4. Xiang Fu, Tevfik Bultan, Jianwen Su
    Model checking XML manipulating software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:252-262 [Conf]
  5. Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su
    Verification of Vortex Workflows. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:143-157 [Conf]
  6. Xiang Fu, Tevfik Bultan, Jianwen Su
    Formal Verification of e-Services and Workflows. [Citation Graph (0, 0)][DBLP]
    WES, 2002, pp:188-202 [Conf]
  7. Xiang Fu, Tevfik Bultan, Jianwen Su
    Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:188-200 [Conf]
  8. Aysu Betin-Can, Tevfik Bultan, Xiang Fu
    Design for verification for asynchronously communicating Web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:750-759 [Conf]
  9. Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
    Conversation specification: a new approach to design and analysis of e-service composition. [Citation Graph (0, 0)][DBLP]
    WWW, 2003, pp:403-410 [Conf]
  10. Xiang Fu, Tevfik Bultan, Jianwen Su
    Analysis of interacting BPEL web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:621-630 [Conf]
  11. Xiang Fu
    Broadband Access Network; by L.A. Ims. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:12, pp:1171-0 [Journal]
  12. Xiang Fu
    Signaling in ATM networks; by R. Onvural, R. Cherukuri (Eds.). [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:12, pp:1171-1172 [Journal]
  13. Tevfik Bultan, Jianwen Su, Xiang Fu
    Analyzing Conversations of Web Services. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2006, v:10, n:1, pp:18-25 [Journal]
  14. Xiang Fu, Tevfik Bultan, Jianwen Su
    Conversation protocols: a formalism for specification and verification of reactive electronic services. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:328, n:1-2, pp:19-37 [Journal]
  15. Xiang Fu, Tevfik Bultan, Jianwen Su
    Synchronizability of Conversations among Web Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1042-1055 [Journal]
  16. Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao
    A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:87-96 [Conf]
  17. Ariane Gravel, Xiang Fu, Jianwen Su
    An Analysis Tool for Execution of BPEL Services. [Citation Graph (0, 0)][DBLP]
    CEC/EEE, 2007, pp:429-432 [Conf]

  18. The automated web application testing (AWAT) system. [Citation Graph (, )][DBLP]

  19. Race condition in Ajax-based web application. [Citation Graph (, )][DBLP]

  20. Localized random access scan: Towards low area and routing overhead. [Citation Graph (, )][DBLP]

  21. Robust test generation for power supply noise induced path delay faults. [Citation Graph (, )][DBLP]

  22. A Tool for Choreography Analysis Using Collaboration Diagrams. [Citation Graph (, )][DBLP]

  23. SAFELI: SQL injection scanner using symbolic execution. [Citation Graph (, )][DBLP]

  24. BAUT: A Bayesian Driven Tutoring System. [Citation Graph (, )][DBLP]

  25. APOGEE: automated project grading and instant feedback system for web based computing. [Citation Graph (, )][DBLP]

  26. Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP]

  27. Specification of Realizable Service Conversations Using Collaboration Diagrams. [Citation Graph (, )][DBLP]

  28. Choreography Modeling and Analysis with Collaboration Diagrams. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002