The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bixin Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bixin Li
    An Approach for Assessing Software Coupling. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:337-351 [Conf]
  2. Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang
    Modular Monadic Program Slicing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:66-71 [Conf]
  3. Bixin Li, Ying Zhou, Junhui Mo, Yancheng Wang
    Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow. [Citation Graph (0, 0)][DBLP]
    SNPD, 2005, pp:96-101 [Conf]
  4. Yancheng Wang, Bixin Li, Xufang Gong
    An Extension to Robustness Slicing Algorithm Based on Dynamic Array. [Citation Graph (0, 0)][DBLP]
    SNPD, 2006, pp:77-84 [Conf]
  5. Ying Zhou, Bixin Li
    A Study of Model Layers and Reflection. [Citation Graph (0, 0)][DBLP]
    SNPD, 2005, pp:110-113 [Conf]
  6. Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng
    A Formal Software Development Approach Based on COOZ and Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:261-266 [Conf]
  7. Bixin Li
    A technique to analyze information-flow in object-oriented programs. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:6, pp:305-314 [Journal]
  8. Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao
    Model for Slicing JAVA Programs Hierarchically. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:6, pp:848-858 [Journal]
  9. Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo
    Matrix-based component dependence representation and its applications in software quality assurance. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2005, v:40, n:11, pp:29-36 [Journal]

  10. Monitoring BPEL-Based Web Service Composition Using AOP. [Citation Graph (, )][DBLP]


  11. Extending PSC for Monitoring the Timed Properties in Composite Services. [Citation Graph (, )][DBLP]


  12. Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. [Citation Graph (, )][DBLP]


  13. An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. [Citation Graph (, )][DBLP]


  14. A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. [Citation Graph (, )][DBLP]


  15. A Timed Extension of Property Sequence Chart. [Citation Graph (, )][DBLP]


  16. Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. [Citation Graph (, )][DBLP]


  17. A Formal Syntax for Probabilistic Timed Property Sequence Charts. [Citation Graph (, )][DBLP]


  18. Generating Test Cases of Composite Services Based on OWL-S and EH-CPN. [Citation Graph (, )][DBLP]


  19. WSTester: Testing Web Service for Behavior Conformance. [Citation Graph (, )][DBLP]


  20. A service-oriented methodology supporting automatic synthesis and verification of component behavior model. [Citation Graph (, )][DBLP]


  21. On Testing Multi-threaded Java Programs. [Citation Graph (, )][DBLP]


  22. An Integrated Regression Testing Framework to Multi-Threaded Java Programs. [Citation Graph (, )][DBLP]


  23. A Formal Model for Web Service Composition and Its Application Analysis. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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