Search the dblp DataBase
Ji Wang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Shulin Wang , Ji Wang , Huowang Chen , Boyun Zhang SVM-Based Tumor Classification with Gene Expression Data. [Citation Graph (0, 0)][DBLP ] ADMA, 2006, pp:864-870 [Conf ] Wei Dong , Ji Wang , Xuan Qi , Zhichang Qi Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:363-370 [Conf ] Shuhao Li , Ji Wang , Wei Dong , Zhichang Qi Property-Oriented Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] APSEC, 2004, pp:358-365 [Conf ] Jinhui Shan , Ji Wang , Zhichang Qi On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:237-0 [Conf ] Rui Shen , Ji Wang , Hong Zhu Scenario Mechanism in Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP ] APSEC, 2004, pp:464-471 [Conf ] Wing Lok Yeung , Karl R. P. H. Leung , Ji Wang , Wei Dong Improvements Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP ] APSEC, 2005, pp:176-184 [Conf ] Ji Wang , Rui Shen , Hong Zhu Towards an agent oriented programming language with caste and scenario mechanisms. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:1297-1298 [Conf ] Wei Dong , Ji Wang Contract-Based Formal Specification of Safety Critical Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC (2), 2005, pp:7-8 [Conf ] Shuhao Li , Ji Wang , Xin Wang , Zhi-Chang Qi Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2005, pp:13-18 [Conf ] Ji Wang , Rui Shen , Hong Zhu Agent Oriented Programming Based on SLABS. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2005, pp:127-132 [Conf ] Zhenbang Chen , Ji Wang , Wei Dong , Zhichang Qi , Wing Lok Yeung An Interface Theory Based Approach to Verification of Web Services. [Citation Graph (0, 0)][DBLP ] COMPSAC (2), 2006, pp:139-144 [Conf ] Ting Wang , Yaoyong Li , Kalina Bontcheva , Hamish Cunningham , Ji Wang Automatic Extraction of Hierarchical Relations from Text. [Citation Graph (0, 0)][DBLP ] ESWC, 2006, pp:215-229 [Conf ] Xin Wang , Ji Wang , Zhi-Chang Qi Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:199-212 [Conf ] Xinyao Yu , Ji Wang , Chaochen Zhou , Paritosh K. Pandya Formal Design of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:738-755 [Conf ] XinJun Mao , Ji Wang , Jiajia Chen Modeling Organization Structure of Multi-Agent System. [Citation Graph (0, 0)][DBLP ] IAT, 2005, pp:116-119 [Conf ] XinJun Mao , Ji Wang , Eric Yu A Framework to Specify and Evaluate Coordination in MAS with Logic. [Citation Graph (0, 0)][DBLP ] IAT, 2004, pp:325-328 [Conf ] Jianming Zhao , XinJun Mao , Ji Wang Developing Multi-Agent Systems with Dynamic Binding Mechanism. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:52-58 [Conf ] Ji Wang , Zhengjun Zhai , Xiaobin Cai Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. [Citation Graph (0, 0)][DBLP ] ICAT Workshops, 2006, pp:137-140 [Conf ] Yang Yu , Ji Wang , Ting Wang , Huowang Chen Representing Wholes by Structure. [Citation Graph (0, 0)][DBLP ] ICCS, 2006, pp:441-454 [Conf ] Ji Wang , Wei Dong , Zhichang Qi Slicing Hierarchical Automata for Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:435-446 [Conf ] Yanjun Wen , Ji Wang , Zhi-Chang Qi Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:259-273 [Conf ] Yanjun Wen , Ji Wang , Zhi-Chang Qi 2/3 Alternating Simulation Between Interface Automata. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:173-187 [Conf ] Xiaodong Yi , Ji Wang , Xuejun Yang Stateful Dynamic Partial-Order Reduction. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:149-167 [Conf ] Yanjun Wen , Ji Wang , Zhi-Chang Qi Reverse Observation Equivalence Between Labelled State Transition Systems. [Citation Graph (0, 0)][DBLP ] ICTAC, 2004, pp:204-219 [Conf ] Jiong Yan , Ji Wang , Huowang Chen UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] ISPA, 2004, pp:433-445 [Conf ] Ji Wang , Huowang Chen Temporal Reasoning About Real Time Reactive Systems. [Citation Graph (0, 0)][DBLP ] IWAR, 1992, pp:249-256 [Conf ] Shuhao Li , Ji Wang , Zhi-Chang Qi Property-Oriented Test Generation from UML Statecharts. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:122-131 [Conf ] Ji Wang , Ashfaq A. Khokhar , Vijay K. Garg Video Communication with QoS Guarantees over HIPERLAN/2. [Citation Graph (0, 0)][DBLP ] ISMSE, 2002, pp:312-319 [Conf ] Yan Jiong , Ji Wang , Huowang Chen Deriving Software Statistical Testing Model from UML Model. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:343-350 [Conf ] Yan Jiong , Ji Wang , Huowang Chen Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:22-31 [Conf ] Ji Wang , Rui Shen , Hong Zhu Caste-Centric Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP ] QSIC, 2005, pp:431-438 [Conf ] Xiaodong Yi , Ji Wang , Xuejun Yang Verification of C Programs using Slicing Execution. [Citation Graph (0, 0)][DBLP ] QSIC, 2005, pp:109-116 [Conf ] XinJun Mao , Zhiming Chang , Lijun Shang , Hong Zhu , Ji Wang The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. [Citation Graph (0, 0)][DBLP ] SEKE, 2006, pp:639-644 [Conf ] Wing Lok Yeung , Karl R. P. H. Leung , Ji Wang , Wei Dong Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2006, pp:97-107 [Conf ] Ting Wang , Ji Wang , Yang Yu , Rui Shen , Jinhong Liu , Huowang Chen MetaData Pro: Ontology-Based Metadata Processing for Web Resources. [Citation Graph (0, 0)][DBLP ] WISE Workshops, 2004, pp:34-45 [Conf ] Wei Dong , Zhenbang Chen , Ji Wang A Contract-based Approach to Specifying and Verifying Safety Critical Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:89-103 [Journal ] Xiaodong Yi , Ji Wang , Xuejun Yang Slicing Execution for Model Checking C Programs. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:747-768 [Journal ] Jinhui Shan , Ji Wang , Zhi-Chang Qi , Jianping Wu Improved Method to Generate Path-Wise Test Data. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2003, v:18, n:2, pp:235-240 [Journal ] Wing Lok Yeung , Karl R. P. H. Leung , Ji Wang , Wei Dong Modelling and model checking suspendible business processes via statechart diagrams and CSP. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:65, n:1, pp:14-29 [Journal ] Ji Wang , M. J. Ikram , Ashfaq A. Khokhar Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2. [Citation Graph (0, 0)][DBLP ] Wireless Communications and Mobile Computing, 2005, v:5, n:2, pp:153-164 [Journal ] Shulin Wang , Huowang Chen , Ji Wang , Dingxing Zhang , Shutao Li Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. [Citation Graph (0, 0)][DBLP ] CIS, 2006, pp:46-56 [Conf ] Wanwei Liu , Ji Wang , Wei Dong , Huowang Chen Axiomatizing Extended Temporal Logic Fragments Via Instantiation. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:322-336 [Conf ] Shulin Wang , Ji Wang , Huowang Chen , Shutao Li Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. [Citation Graph (0, 0)][DBLP ] PAKDD, 2007, pp:871-878 [Conf ] W. L. Yeung , Ji Wang , Wei Dong Verifying Choreographic Descriptions of Web Services Based on CSP. [Citation Graph (0, 0)][DBLP ] SCW, 2006, pp:97-104 [Conf ] Compositional Verification of UML Dynamic Models. [Citation Graph (, )][DBLP ] Automating Software FMEA via Formal Analysis of Dependence Relations. [Citation Graph (, )][DBLP ] Fast, On-Demand Software Deployment with Lightweight, Independent Virtual Disk Images. [Citation Graph (, )][DBLP ] Automated WCET Analysis Based on Program Modes. [Citation Graph (, )][DBLP ] Computing Must and May Alias to Detect Null Pointer Dereference. [Citation Graph (, )][DBLP ] Towards a Framework for Scalable Model Checking of Concurrent C Programs. [Citation Graph (, )][DBLP ] DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments. [Citation Graph (, )][DBLP ] Engineering Adaptive Multi-Agent Systems with ODAM Methodology. [Citation Graph (, )][DBLP ] Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP ] Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. [Citation Graph (, )][DBLP ] Towards Formal Interfaces for Web Services with Transactions. [Citation Graph (, )][DBLP ] An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP ] Symbolic Model Checking APSL. [Citation Graph (, )][DBLP ] A framework for constructing peer-to-peer overlay networks in Java. [Citation Graph (, )][DBLP ] Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. [Citation Graph (, )][DBLP ] Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration. [Citation Graph (, )][DBLP ] Automated Worst-Case Execution Time Analysis Based on Program Modes. [Citation Graph (, )][DBLP ] Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs. [Citation Graph (, )][DBLP ] Shape Analysis by Refining on Abstract Evaluation Path. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.455secs