Ji Wang

	2009
61		Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325
60		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang: Symbolic model checking APSL. Frontiers of Computer Science in China 3(1): 130-141 (2009)
59		Wanwei Liu, Ji Wang: A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. 109(16): 941-945 (2009)
58		Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu: Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24(2): 347-356 (2009)
	2008
57		Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
56		Jintao Tang, Ting Wang, Ji Wang: Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. ICYCS 2008: 1664-1670
55		Yemei Qin, Ji Wang, Weihua Gui: Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration. ICYCS 2008: 1807-1812
54		Xiaodong Ma, Ji Wang, Wei Dong: Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
53		Dengping Wei, Ting Wang, Ji Wang, Yaodong Chen: Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. International Semantic Web Conference 2008: 146-161
52		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46
51		Xiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008)
50		XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang: An adaptive casteship mechanism for developing multi-agent systems. IJCAT 31(1/2): 17-34 (2008)
	2007
49		Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
48		Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
47		Shulin Wang, Ji Wang, Huowang Chen, Shutao Li: Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD 2007: 871-878
46		XinJun Mao, Jianming Zhao, Ji Wang: Engineering Adaptive Multi-Agent Systems with ODAM Methodology. PRIMA 2007: 380-385
45		Wei Dong, Zhenbang Chen, Ji Wang: A Contract-based Approach to Specifying and Verifying Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 176(2): 89-103 (2007)
44		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007)
	2006
43		Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang: SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870
42		Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li: Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS 2006: 46-56
41		Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung: An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
40		Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang: Automatic Extraction of Hierarchical Relations from Text. ESWC 2006: 215-229
39		Jianming Zhao, XinJun Mao, Ji Wang: Developing Multi-Agent Systems with Dynamic Binding Mechanism. IAT 2006: 52-58
38		Ji Wang, Zhengjun Zhai, Xiaobin Cai: Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. ICAT Workshops 2006: 137-140
37		Yang Yu, Ji Wang, Ting Wang, Huowang Chen: Representing Wholes by Structure. ICCS 2006: 441-454
36		Xiaodong Yi, Ji Wang, Xuejun Yang: Stateful Dynamic Partial-Order Reduction. ICFEM 2006: 149-167
35		Ji Wang, Xiaodong Yi, Xuejun Yang: Towards a Framework for Scalable Model Checking of Concurrent C Programs. ISoLA 2006: 355-362
34		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
33		Wing Lok Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
32		XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang: The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644
31		Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
30		Xiaodong Yi, Ji Wang, Xuejun Yang: Slicing Execution for Model Checking C Programs. International Journal of Software Engineering and Knowledge Engineering 16(5): 747-768 (2006)
29		Xicheng Lu, Huaimin Wang, Ji Wang: Internet-based virtual computing environment (iVCE): Concepts and architecture. Science in China Series F: Information Sciences 49(6): 681-701 (2006)
	2005
28		Ji Wang, Rui Shen, Hong Zhu: Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298
27		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
26		Ji Wang, Rui Shen, Hong Zhu: Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132
25		Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18
24		Wei Dong, Ji Wang: Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
23		XinJun Mao, Ji Wang, Jiajia Chen: Modeling Organization Structure of Multi-Agent System. IAT 2005: 116-119
22		Yanjun Wen, Ji Wang, Zhi-Chang Qi: 2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187
21		Xiaodong Yi, Ji Wang, Xuejun Yang: Verification of C Programs using Slicing Execution. QSIC 2005: 109-116
20		Ji Wang, Rui Shen, Hong Zhu: Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438
19		Ji Wang, M. J. Ikram, Ashfaq A. Khokhar: Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2. Wireless Communications and Mobile Computing 5(2): 153-164 (2005)
	2004
18		Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
17		Rui Shen, Ji Wang, Hong Zhu: Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471
16		Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131
15		Xin Wang, Ji Wang, Zhi-Chang Qi: Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212
14		XinJun Mao, Ji Wang, Eric Yu: A Framework to Specify and Evaluate Coordination in MAS with Logic. IAT 2004: 325-328
13		Yanjun Wen, Ji Wang, Zhi-Chang Qi: Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273
12		Yanjun Wen, Ji Wang, Zhi-Chang Qi: Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219
11		Jiong Yan, Ji Wang, Huowang Chen: UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445
10		Yan Jiong, Ji Wang, Huowang Chen: Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31
9		Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen: MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops 2004: 34-45
	2003
8		Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350
7		Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu: Improved Method to Generate Path-Wise Test Data. J. Comput. Sci. Technol. 18(2): 235-240 (2003)
	2002
6		Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
5		Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
	2001
4		Jinhui Shan, Ji Wang, Zhichang Qi: On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. APSEC 2001: 237-
3		Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370
	1994
2		Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya: Formal Design of Hybrid Systems. FTRTFT 1994: 738-755
	1992
1		Ji Wang, Huowang Chen: Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256

Coauthor Index

1	Kalina Bontcheva	[40]
2	Xiaobin Cai	[38]
3	Zhiming Chang	[32]
4	Huowang Chen	[1] [8] [9] [10] [11] [37] [42] [43] [47] [48] [52] [60]
5	Jiajia Chen	[23]
6	Liqian Chen	[61]
7	Yaodong Chen	[53]
8	Zhenbang Chen	[31] [41] [45]
9	Patrick Cousot	[61]
10	Hamish Cunningham	[40]
11	Wei Dong	[3] [6] [18] [24] [27] [31] [33] [34] [41] [44] [45] [48] [49] [51] [54] [57] [58]
12	Vijay K. Garg	[5]
13	Weihua Gui	[55]
14	M. J. Ikram	[19]
15	Yan Jiong	[8] [10]
16	Ashfaq A. Khokhar	[5] [19]
17	Karl R. P. H. Leung	[27] [34] [44]
18	Shuhao Li	[16] [18] [25]
19	Shutao Li	[42] [47]
20	Yaoyong Li	[40]
21	Jinhong Liu	[9]
22	Wanwei Liu	[48] [52] [58] [59] [60]
23	Xicheng Lu	[29]
24	Xiaodong Ma	[51] [52] [54] [58] [60]
25	XinJun Mao	[14] [23] [32] [39] [46] [50]
26	Antoine Miné	[61]
27	Paritosh K. Pandya	[2]
28	Xuan Qi	[3]
29	Zhichang Qi (Zhi-Chang Qi)	[3] [4] [6] [7] [12] [13] [15] [16] [18] [22] [25] [31] [41] [49]
30	Yemei Qin	[55]
31	Ni Rong	[49]
32	Jinhui Shan	[4] [7]
33	Lijun Shan	[50]
34	Lijun Shang	[32]
35	Rui Shen	[9] [17] [20] [26] [28]
36	Jintao Tang	[56]
37	Jie Tian	[57]
38	Huaimin Wang	[29]
39	Shulin Wang	[42] [43] [47]
40	Ting Wang	[9] [37] [40] [53] [56]
41	Xin Wang	[15] [25]
42	Zhaofei Wang	[60]
43	Dengping Wei	[53]
44	Yanjun Wen	[12] [13] [22]
45	Jianping Wu	[7]
46	Hou-Feng Xu	[58]
47	Jiong Yan	[11]
48	Xuejun Yang	[21] [30] [35] [36]
49	Wing Lok Yeung	[27] [33] [34] [41] [44]
50	Xiaodong Yi	[21] [30] [35] [36]
51	Eric Yu	[14]
52	Xinyao Yu	[2]
53	Yang Yu	[9] [37]
54	Zhengjun Zhai	[38]
55	Boyun Zhang	[43]
56	Dingxing Zhang	[42]
57	Xian Zhang	[57]
58	Changzhi Zhao	[57]
59	Jianming Zhao	[39] [46]
60	Chaochen Zhou (Zhou Chaochen)	[2]
61	Hong Zhu	[17] [20] [26] [28] [32] [50]

Colors in the list of coauthors