| * | 2009 |
|---|
| 61 | EE | Liqian Chen,
Antoine Miné,
Ji Wang,
Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
SAS 2009: 309-325 |
| 60 | 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) |
| 59 | EE | Wanwei Liu,
Ji Wang:
A tighter analysis of Piterman's Büchi determinization.
Inf. Process. Lett. 109(16): 941-945 (2009) |
| 58 | EE | 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 | EE | Wei Dong,
Ji Wang,
Changzhi Zhao,
Xian Zhang,
Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations.
COMPSAC 2008: 490-491 |
| 56 | EE | Jintao Tang,
Ting Wang,
Ji Wang:
Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks.
ICYCS 2008: 1664-1670 |
| 55 | EE | Yemei Qin,
Ji Wang,
Weihua Gui:
Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration.
ICYCS 2008: 1807-1812 |
| 54 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference.
ISoLA 2008: 252-261 |
| 53 | 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 |
| 52 | EE | Wanwei Liu,
Ji Wang,
Huowang Chen,
Xiaodong Ma:
Symbolic Model Checking APSL.
TASE 2008: 39-46 |
| 51 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path.
Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008) |
| 50 | 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 |
|---|
| 49 | EE | Wei Dong,
Ji Wang,
Zhichang Qi,
Ni Rong:
Compositional Verification of UML Dynamic Models.
APSEC 2007: 286-293 |
| 48 | EE | Wanwei Liu,
Ji Wang,
Wei Dong,
Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
ICTAC 2007: 322-336 |
| 47 | 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 |
| 46 | EE | XinJun Mao,
Jianming Zhao,
Ji Wang:
Engineering Adaptive Multi-Agent Systems with ODAM Methodology.
PRIMA 2007: 380-385 |
| 45 | 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) |
| 44 | 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 |
|---|
| 43 | EE | Shulin Wang,
Ji Wang,
Huowang Chen,
Boyun Zhang:
SVM-Based Tumor Classification with Gene Expression Data.
ADMA 2006: 864-870 |
| 42 | 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 |
| 41 | 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 |
| 40 | EE | Ting Wang,
Yaoyong Li,
Kalina Bontcheva,
Hamish Cunningham,
Ji Wang:
Automatic Extraction of Hierarchical Relations from Text.
ESWC 2006: 215-229 |
| 39 | EE | Jianming Zhao,
XinJun Mao,
Ji Wang:
Developing Multi-Agent Systems with Dynamic Binding Mechanism.
IAT 2006: 52-58 |
| 38 | EE | Ji Wang,
Zhengjun Zhai,
Xiaobin Cai:
Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture.
ICAT Workshops 2006: 137-140 |
| 37 | EE | Yang Yu,
Ji Wang,
Ting Wang,
Huowang Chen:
Representing Wholes by Structure.
ICCS 2006: 441-454 |
| 36 | EE | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Stateful Dynamic Partial-Order Reduction.
ICFEM 2006: 149-167 |
| 35 | EE | 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 | 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 |
