2008 |
14 | EE | Pengcheng Zhang,
Bixin Li,
Mingjie Sun,
Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC 2008: 112-115 |
13 | EE | Pengcheng Zhang,
Bixin Li,
Mingjie Sun:
A Timed Extension of Property Sequence Chart.
HASE 2008: 197-206 |
12 | EE | Pengcheng Zhang,
Bixin Li,
Henry Muccini,
Yu Zhou,
Mingjie Sun:
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
ICWS 2008: 752-753 |
2007 |
11 | EE | Pengcheng Zhang,
Yu Zhou,
Bixin Li:
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
SNPD (1) 2007: 511-516 |
10 | EE | Xufang Gong,
Yanchen Wang,
Ying Zhou,
Bixin Li:
On Testing Multi-threaded Java Programs.
SNPD (1) 2007: 702-706 |
2006 |
9 | EE | Yancheng Wang,
Bixin Li,
Xufang Gong:
An Extension to Robustness Slicing Algorithm Based on Dynamic Array.
SNPD 2006: 77-84 |
2005 |
8 | EE | Ying Zhou,
Bixin Li:
A Study of Model Layers and Reflection.
SNPD 2005: 110-113 |
7 | EE | Bixin Li,
Ying Zhou,
Junhui Mo,
Yancheng Wang:
Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow.
SNPD 2005: 96-101 |
6 | EE | Bixin Li,
Ying Zhou,
Yancheng Wang,
Junhui Mo:
Matrix-based component dependence representation and its applications in software quality assurance.
SIGPLAN Notices 40(11): 29-36 (2005) |
2004 |
5 | EE | Yingzhou Zhang,
Baowen Xu,
Liang Shi,
Bixin Li,
Hongji Yang:
Modular Monadic Program Slicing.
COMPSAC 2004: 66-71 |
4 | EE | Bixin Li,
Xiaocong Fan,
Jun Pang,
Jianjun Zhao:
Model for Slicing JAVA Programs Hierarchically.
J. Comput. Sci. Technol. 19(6): 848-858 (2004) |
2003 |
3 | EE | Bixin Li:
A technique to analyze information-flow in object-oriented programs.
Information & Software Technology 45(6): 305-314 (2003) |
2002 |
2 | | Bixin Li:
An Approach for Assessing Software Coupling.
APLAS 2002: 337-351 |
1999 |
1 | EE | Yunfeng Wang,
Bixin Li,
Jun Pang,
Ming Zha,
Guoliang Zheng:
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
TOOLS (31) 1999: 261-266 |