The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xingyuan Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
    A Post-Placement Side-Effect Removal Algorithm. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:2-11 [Conf]
  2. Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
    A correctness proof of the SRP protocol. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  3. Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
    Side-Effect Removal Transformation. [Citation Graph (0, 0)][DBLP]
    IWPC, 2001, pp:310-322 [Conf]
  4. Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
    A Correctness Proof of the DSR Protocol. [Citation Graph (0, 0)][DBLP]
    MSN, 2006, pp:72-83 [Conf]
  5. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
    An Interprocedural Amorphous Slicer for WSL. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:105-114 [Conf]
  6. Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
    Mechanized Operational Semantics of WSL. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:73-82 [Conf]
  7. Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
    Weakest Precondition for General Recursive Programs Formalized in Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:332-348 [Conf]
  8. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
    GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:271-280 [Conf]
  9. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
    Syntax-Directed Amorphous Slicing. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:1, pp:27-61 [Journal]
  10. Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
    Source code analysis and manipulation. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:13, pp:717-720 [Journal]

  11. Liveness Reasoning with Isabelle/HOL. [Citation Graph (, )][DBLP]


  12. A Replay-Oriented Software Architecture for Easy Debugging. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002