Ji Wang

2009
57	EE	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)
2008
56	EE	Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
55	EE	Jintao Tang, Ting Wang, Ji Wang: Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. ICYCS 2008: 1664-1670
54	EE	Yemei Qin, Ji Wang, Weihua Gui: Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration. ICYCS 2008: 1807-1812
53	EE	Xiaodong Ma, Ji Wang, Wei Dong: Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
52	EE	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
51	EE	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46
50	EE	Xiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008)
49	EE	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
48	EE	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
47	EE	Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
46	EE	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
45	EE	XinJun Mao, Jianming Zhao, Ji Wang: Engineering Adaptive Multi-Agent Systems with ODAM Methodology. PRIMA 2007: 380-385
44	EE	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)
43	EE	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
42	EE	Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang: SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870
41	EE	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
40	EE	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
39	EE	Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang: Automatic Extraction of Hierarchical Relations from Text. ESWC 2006: 215-229
38	EE	Jianming Zhao, XinJun Mao, Ji Wang: Developing Multi-Agent Systems with Dynamic Binding Mechanism. IAT 2006: 52-58
37	EE	Ji Wang, Zhengjun Zhai, Xiaobin Cai: Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. ICAT Workshops 2006: 137-140
36	EE	Yang Yu, Ji Wang, Ting Wang, Huowang Chen: Representing Wholes by Structure. ICCS 2006: 441-454
35	EE	Xiaodong Yi, Ji Wang, Xuejun Yang: Stateful Dynamic Partial-Order Reduction. ICFEM 2006: 149-167
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	EE	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	EE	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
30	EE	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	EE	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	EE	Ji Wang, Rui Shen, Hong Zhu: Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298
27	EE	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	EE	Ji Wang, Rui Shen, Hong Zhu: Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132
25	EE	Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18
24	EE	Wei Dong, Ji Wang: Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
23	EE	XinJun Mao, Ji Wang, Jiajia Chen: Modeling Organization Structure of Multi-Agent System. IAT 2005: 116-119
22	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: 2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187
21	EE	Xiaodong Yi, Ji Wang, Xuejun Yang: Verification of C Programs using Slicing Execution. QSIC 2005: 109-116
20	EE	Ji Wang, Rui Shen, Hong Zhu: Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438
19	EE	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	EE	Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
17	EE	Rui Shen, Ji Wang, Hong Zhu: Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471
16	EE	Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131
15	EE	Xin Wang, Ji Wang, Zhi-Chang Qi: Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212
14	EE	XinJun Mao, Ji Wang, Eric Yu: A Framework to Specify and Evaluate Coordination in MAS with Logic. IAT 2004: 325-328
13	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273
12	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219
11	EE	Jiong Yan, Ji Wang, Huowang Chen: UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445
10	EE	Yan Jiong, Ji Wang, Huowang Chen: Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31
9	EE	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	EE	Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350
7	EE	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	EE	Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
5	EE	Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
2001
4	EE	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	EE	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	[39]
2	Xiaobin Cai	[37]
3	Zhiming Chang	[32]
4	Huowang Chen	[1] [8] [9] [10] [11] [36] [41] [42] [46] [47] [51] [57]
5	Jiajia Chen	[23]
6	Yaodong Chen	[52]
7	Zhenbang Chen	[31] [40] [44]
8	Hamish Cunningham	[39]
9	Wei Dong	[3] [6] [18] [24] [27] [31] [33] [34] [40] [43] [44] [47] [48] [50] [53] [56]
10	Vijay K. Garg	[5]
11	Weihua Gui	[54]
12	M. J. Ikram	[19]
13	Yan Jiong	[8] [10]
14	Ashfaq A. Khokhar	[5] [19]
15	Karl R. P. H. Leung	[27] [34] [43]
16	Shuhao Li	[16] [18] [25]
17	Shutao Li	[41] [46]
18	Yaoyong Li	[39]
19	Jinhong Liu	[9]
20	Wanwei Liu	[47] [51] [57]
21	Xicheng Lu	[29]
22	Xiaodong Ma	[50] [51] [53] [57]
23	XinJun Mao	[14] [23] [32] [38] [45] [49]
24	Paritosh K. Pandya	[2]
25	Xuan Qi	[3]
26	Zhichang Qi (Zhi-Chang Qi)	[3] [4] [6] [7] [12] [13] [15] [16] [18] [22] [25] [31] [40] [48]
27	Yemei Qin	[54]
28	Ni Rong	[48]
29	Jinhui Shan	[4] [7]
30	Lijun Shan	[49]
31	Lijun Shang	[32]
32	Rui Shen	[9] [17] [20] [26] [28]
33	Jintao Tang	[55]
34	Jie Tian	[56]
35	Huaimin Wang	[29]
36	Shulin Wang	[41] [42] [46]
37	Ting Wang	[9] [36] [39] [52] [55]
38	Xin Wang	[15] [25]
39	Zhaofei Wang	[57]
40	Dengping Wei	[52]
41	Yanjun Wen	[12] [13] [22]
42	Jianping Wu	[7]
43	Jiong Yan	[11]
44	Xuejun Yang	[21] [30] [35]
45	Wing Lok Yeung	[27] [33] [34] [40] [43]
46	Xiaodong Yi	[21] [30] [35]
47	Eric Yu	[14]
48	Xinyao Yu	[2]
49	Yang Yu	[9] [36]
50	Zhengjun Zhai	[37]
51	Boyun Zhang	[42]
52	Dingxing Zhang	[41]
53	Xian Zhang	[56]
54	Changzhi Zhao	[56]
55	Jianming Zhao	[38] [45]
56	Chaochen Zhou (Zhou Chaochen)	[2]
57	Hong Zhu	[17] [20] [26] [28] [32] [49]

Colors in the list of coauthors