dblp.uni-trier.dewww.uni-trier.de

Ji Wang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)