![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Ji Wang 0001
Person information
- affiliation: National University of Defense Technology, State Key Laboratory of High Performance Computing, Changsha, China
- affiliation: National University of Defense Technology, School of Computer, National Laboratory for Parallel and Distributed Processing, Changsha, China
- not to be confused with: Ji Wang 0002
Other persons with the same name
- Ji Wang — disambiguation page
- Ji Wang 0002
— National University of Defense Technology, College of Information Systems and Management, Changsha, China
- Ji Wang 0003
— Virginia Polytechnic Institute, Department of Computer Science, Blacksburg, VA, USA
- Ji Wang 0004
— Central China Normal University, College of Physical Science and Technology, Department of Electronics and Information Engineering, China (and 1 more)
- Ji Wang 0005
— Xiamen University, Department of Automation, Xiamen, China (and 2 more)
- Ji Wang 0006 — National University of Singapore, Department of Computer Science, Singapore
- Ji Wang 0007
— University of Alberta, Department of Chemical and Materials Engineering, Edmonton, Canada (and 1 more)
- Ji Wang 0008
— Chang'an University, College of Geological Engineering and Geomatics, Big Data Center for Geosciences and Satellites (BDCGS), Xi'an, China
- Ji Wang 0009
— Zhejiang Sci-Tech University, School of Information Science and Technology, Hangzhou, China
- Ji Wang 0010
— Dalian University of Technology, School of Naval Architecture and Ocean Engineering, State Key Laboratory of Structural Analysis for Industrial Equipment, Dalian, China
- Ji Wang 0011
— Shanghai University of Engineering Science, School of Urban Railway Transportation, Shanghai, China
- Ji Wang 0012
— Guangdong Ocean University, College of Electrical and Information Engineering, Zhanjiang, China
- Ji Wang 0013
— Beijing Jiaotong University, School of Civil Engineering, Beijing Key Laboratory of Track Engineering, Beijing Engineering Research Centre of Rail Traffic Line Safety and Disaster, Beijing, China
- Ji Wang 0014
— China University of Petroleum, College of Mechanical and Transportation Engineering, Beijing, China (and 1 more)
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j58]Ziqi Shuai
, Zhenbang Chen
, Kelin Ma
, Kunlin Liu
, Yufeng Zhang
, Jun Sun
, Ji Wang
:
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1(FSE): 2493-2514 (2024) - [j57]Weijiang Hong
, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234: 103075 (2024) - [j56]Zhen Liang
, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236: 103121 (2024) - [j55]Zhenbang Chen
, Guofeng Zhang, Zehua Chen, Ziqi Shuai
, Weiyu Pan, Yufeng Zhang, Ji Wang:
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36(4) (2024) - [j54]Bai Xue
, Naijun Zhan
, Martin Fränzle
, Ji Wang
, Wanwei Liu
:
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j53]Yufeng Zhang
, Jialu Pan
, Wanwei Liu
, Zhenbang Chen
, Kenli Li, Ji Wang, Zhiming Liu
, Hongmei Wei
:
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36(4): 1683-1697 (2024) - [c142]Zhipeng Lin, Wenjing Yang, Haotian Wang, Haoang Chi, Long Lan, Ji Wang:
Scaling Few-Shot Learning for the Open World. AAAI 2024: 13846-13854 - [c141]Guofeng Zhang, Ziqi Shuai
, Kelin Ma, Kunlin Liu, Zhenbang Chen
, Ji Wang:
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE 2024: 304-308 - [c140]Zhipeng Lin, Wenjing Yang, Long Lan, Mingyang Geng, Haotian Wang, Haoang Chi, Xueqiong Li, Ji Wang:
Diversifying Cross-Domain Few-Shot Learning via Multimodal Image Editing. ICASSP 2024: 7375-7379 - [c139]Xingpeng Liu
, Hengzhu Liu
, Xiaodong Yi
, Ji Wang
:
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱. Internetware 2024 - [c138]Luyao Liu
, Guofeng Zhang
, Zhenbang Chen
, Ji Wang
:
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion 2024: 669-670 - [i22]Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu:
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR abs/2401.12550 (2024) - [i21]Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue:
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR abs/2404.09007 (2024) - [i20]Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Weixia Xu, Ji Wang:
Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions. CoRR abs/2405.07474 (2024) - [i19]Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Zhou Yang, Shanghua Wen, Wenjing Yang, Weixia Xu, Ji Wang:
Efficient Behavior Tree Planning with Commonsense Pruning and Heuristic. CoRR abs/2406.00965 (2024) - 2023
- [j52]Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao:
Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics 13(3): 243-245 (2023) - [j51]Zhen Liang
, Taoran Wu
, Wanwei Liu
, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang:
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24(10): 1375-1389 (2023) - [j50]Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang:
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225: 102906 (2023) - [c137]Ziqi Shuai
, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang:
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC 2023: 661-662 - [c136]Ye Tao
, Wanwei Liu
, Fu Song
, Zhen Liang
, Ji Wang
, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) 2023: 380-400 - [c135]Yiqing Yu, Taoran Wu
, Bican Xia, Ji Wang, Bai Xue:
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC 2023: 5804-5811 - [c134]Shiwen Yu
, Ting Wang, Ji Wang:
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. ISSTA 2023: 175-187 - [c133]Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang:
Symbolic Verification of Fuzzy Logic Models. ASE 2023: 1787-1789 - [c132]Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS 2023 - [c131]Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang:
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion 2023: 1-2 - [c130]Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang:
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion 2023: 237-246 - [c129]Weijiang Hong, Zhenbang Chen
, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
:
Formal Verification Based Synthesis for Behavior Trees. SETTA 2023: 72-91 - [c128]Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang:
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA 2023: 314-330 - [c127]Zhen Liang
, Dejin Ren
, Wanwei Liu
, Ji Wang
, Wenjing Yang
, Bai Xue
:
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE 2023: 248-267 - [i18]Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang:
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR abs/2305.03365 (2023) - [i17]Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying Safety of Neural Networks from Topological Perspectives. CoRR abs/2306.15403 (2023) - [i16]Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR abs/2307.15907 (2023) - 2022
- [j49]Shiwen Yu
, Ting Wang, Ji Wang:
Data Augmentation by Program Transformation. J. Syst. Softw. 190: 111304 (2022) - [j48]Banghu Yin
, Liqian Chen, Jiangchao Liu, Ji Wang
:
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3898-3909 (2022) - [c126]Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
, Yufeng Zhang, Ji Wang:
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC 2022: 328-337 - [c125]Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang:
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC 2022: 338-347 - [c124]Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang:
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE 2022: 92-101 - [c123]Haochen He, Zhouyang Jia, Shanshan Li, Yue Yu, Chenglong Zhou, Qing Liao, Ji Wang, Xiangke Liao:
Multi-Intention-Aware Configuration Selection for Performance Tuning. ICSE 2022: 1431-1442 - [c122]Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang:
Collaborative Verification of Uninterpreted Programs. TASE 2022: 148-154 - [i15]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i14]Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue:
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR abs/2210.04175 (2022) - 2021
- [j47]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j46]Chenglong Zhou, Haoran Liu, Yuanliang Zhang, Zhipeng Xue
, Qing Liao, JinJing Zhao, Ji Wang:
Deep Understanding of Runtime Configuration Intention. Int. J. Softw. Eng. Knowl. Eng. 31(6): 775-802 (2021) - [j45]Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206: 102622 (2021) - [c121]Minglong Li, Zhongxuan Cai, Wenjing Yang, Lixia Wu, Yinghui Xu, Ji Wang:
Dec-SGTS: Decentralized Sub-Goal Tree Search for Multi-Agent Coordination. AAAI 2021: 11282-11289 - [c120]Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang:
Making Rigorous Linear Programming Practical for Program Analysis. CP 2021: 57:1-57:17 - [c119]Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang:
Trace Abstraction-Based Verification for Uninterpreted Programs. FM 2021: 545-562 - [c118]Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao:
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. ICSE 2021: 86-98 - [c117]Qianyi Zhang, Zhixin Zeng, Yiming Liu, Kang Tang, Ji Wang:
Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism. IJCNN 2021: 1-8 - [c116]Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang:
Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE 2021: 390-400 - [c115]Zhenbang Chen, Zehua Chen, Ziqi Shuai
, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang:
Synthesize solving strategy for symbolic execution. ISSTA 2021: 348-360 - [c114]Ziqi Shuai
, Zhenbang Chen, Yufeng Zhang, Jun Sun
, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c113]Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang:
Grammar-agnostic symbolic execution by token symbolization. ISSTA 2021: 374-387 - [c112]Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, Xiangke Liao:
Challenges and opportunities: an in-depth empirical study on configuration error injection testing. ISSTA 2021: 478-490 - [c111]Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang:
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE 2021: 47-54 - [c110]Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao:
MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER 2021: 48-59 - [i13]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR abs/2102.05485 (2021) - [i12]Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao:
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. CoRR abs/2102.08543 (2021) - 2020
- [j44]Shanshan Li, Xu Niu
, Zhouyang Jia, Xiangke Liao, Ji Wang, Tao Li:
Guiding log revisions by learning from software evolution history. Empir. Softw. Eng. 25(3): 2302-2340 (2020) - [j43]Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang:
Software testing without the oracle correctness assumption. Frontiers Comput. Sci. 14(3): 143203 (2020) - [j42]Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang:
Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. 35(6): 1365-1381 (2020) - [j41]Weijiang Hong
, Yijun Liu, Zhenbang Chen
, Wei Dong, Ji Wang:
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. 21(9): 1267-1284 (2020) - [j40]Zhiming Liu
, Ji Wang:
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11): 1535-1553 (2020) - [j39]Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [j38]Yunrui Guo
, Zongxu Pan
, Meiming Wang, Ji Wang
, Wenjing Yang
:
Learning Capsules for SAR Target Recognition. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13: 4663-4673 (2020) - [j37]Banghu Yin
, Liqian Chen, Jiangchao Liu
, Ji Wang
:
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69(1): 203-215 (2020) - [j36]Liangze Yin
, Wei Dong
, Wanwei Liu
, Ji Wang
:
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46(5): 549-565 (2020) - [c109]Mingliang Yang, Jing Zhao
, Da Huang, Ji Wang:
Progressive Unsupervised Domain Adaptation for Image-based Person Re-Identification. ICPR 2020: 7730-7736 - [c108]Zhenbang Chen, Hengbiao Yu, Xianjin Fu
, Ji Wang:
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) 2020: 93-96 - [c107]Hengbiao Yu, Zhenbang Chen, Xianjin Fu
, Ji Wang, Zhendong Su
, Jun Sun, Chun Huang, Wei Dong:
Symbolic verification of message passing interface programs. ICSE 2020: 1248-1260 - [c106]Haoyu Zhang, Dingkun Long, Guangwei Xu, Muhua Zhu, Pengjun Xie, Fei Huang, Ji Wang:
Learning with Noise: Improving Distantly-Supervised Fine-grained Entity Typing via Automatic Relabeling. IJCAI 2020: 3808-3815 - [c105]Haochen He, Zhouyang Jia, Shanshan Li, Erci Xu, Tingting Yu, Yue Yu, Ji Wang, Xiangke Liao:
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. ASE 2020: 623-634 - [c104]Yufeng Zhang, Zhenbang Chen, Ziqi Shuai
, Tianqi Zhang, Kenli Li, Ji Wang:
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE 2020: 846-857 - [c103]Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang:
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE 2020: 1255-1256 - [c102]Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang:
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE 2020: 1260-1261 - [c101]Haotian Wang, Wenjing Yang, Ji Wang, Ruxin Wang, Long Lan, Mingyang Geng:
Pairwise Similarity Regularization for Adversarial Domain Adaptation. ACM Multimedia 2020: 2409-2418 - [c100]Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang:
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA 2020: 160-176 - [i11]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen:
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR abs/2002.03328 (2020) - [i10]Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang:
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR abs/2002.03339 (2020) - [i9]Haoyu Zhang, Dingkun Long, Guangwei Xu, Pengjun Xie, Fei Huang, Ji Wang:
Keyphrase Extraction with Dynamic Graph Convolutional Networks and Diversified Inference. CoRR abs/2010.12828 (2020)
2010 – 2019
- 2019
- [j35]Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang:
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62(10): 200101:1-200101:24 (2019) - [j34]Haotian Wang
, Wenjing Yang, Zhenyu Zhao, Tingjin Luo
, Ji Wang, Yuhua Tang:
Rademacher dropout: An adaptive dropout for deep neural network via optimizing generalization gap. Neurocomputing 357: 177-187 (2019) - [j33]Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong:
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 17 (2019) - [c99]Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang:
Complex Question Decomposition for Semantic Parsing. ACL (1) 2019: 4477-4486 - [c98]Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang:
Pretraining-Based Natural Language Generation for Text Summarization. CoNLL 2019: 789-797 - [c97]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Parallel refinement for multi-threaded program verification. ICSE 2019: 643-653 - [c96]Minglong Li, Wenjing Yang, Zhongxuan Cai, Shaowu Yang, Ji Wang:
Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty. IJCAI 2019: 450-456 - [c95]Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang, Xiaodong Liu, Yunhuai Liu:
Detecting Error-Handling Bugs without Error Specification Input. ASE 2019: 213-225 - [c94]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. SAS 2019: 247-267 - [c93]Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang:
Automatically detecting missing cleanup for ungraceful exits. ESEC/SIGSOFT FSE 2019: 751-762 - [c92]Yanjun Wen, Ji Wang:
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. SOFL+MSVL 2019: 3-12 - [i8]Haoyu Zhang, Yeyun Gong, Yu Yan, Nan Duan, Jianjun Xu, Ji Wang, Ming Gong, Ming Zhou:
Pretraining-Based Natural Language Generation for Text Summarization. CoRR abs/1902.09243 (2019) - 2018
- [j32]Liangze Yin, Wei Dong, Fei He, Ji Wang:
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61(5): 658-671 (2018) - [j31]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng
, Michael R. Lyu:
A Data Set for User Request Trace-Oriented Monitoring and its Applications. IEEE Trans. Serv. Comput. 11(4): 699-712 (2018) - [c91]Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su
, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881 - [c90]Shanshan Li, Xu Niu, Zhouyang Jia, Ji Wang, Haochen He, Teng Wang
:
Logtracker: learning log revision behaviors proactively from software evolution history. ICPC 2018: 178-188 - [c89]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling constraint based abstraction refinement for weak memory models. ASE 2018: 645-655 - [c88]Liangze Yin
, Wei Dong, Wanwei Liu
, Yunchou Li, Ji Wang:
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) 2018: 422-426 - [p1]Xueguang Wu, Liqian Chen, Ji Wang:
Analyzing Interrupt Handlers via Interprocedural Summaries. Symposium on Real-Time and Hybrid Systems 2018: 246-262 - [i7]Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang:
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR abs/1803.06300 (2018) - [i6]Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang:
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR abs/1811.07108 (2018) - 2017
- [c87]Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong:
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE 2017: 954-958 - [c86]Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang:
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI 2017: 310-329 - [e1]Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents] - [i5]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs/1708.08323 (2017) - 2016
- [j30]Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang:
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15(4): 70:1-70:26 (2016) - 2015
- [j29]Banghu Yin, Liqian Chen, Ji Wang:
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42(7): 32-37 (2015) - [c85]Xianjin Fu
, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. HASE 2015: 181-188 - [c84]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [c83]Jingwen Zhou, Zhenbang Chen, Ji Wang:
Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) 2015: 807-808 - [c82]Xianjin Fu
, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang:
Poster: Symbolic Execution of MPI Programs. ICSE (2) 2015: 809-810 - [c81]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI 2015: 882-888 - [i4]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR abs/1504.07737 (2015) - 2014
- [j28]Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
, Michael R. Lyu:
A topology-aware method for scientific application deployment on cloud. Int. J. Web Grid Serv. 10(4): 338-370 (2014) - [j27]Wanwei Liu
, Rui Wang
, Xianjin Fu
, Ji Wang, Wei Dong
, Xiaoguang Mao
:
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014: 702165:1-702165:13 (2014) - [j26]Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang:
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014: 789213:1-789213:12 (2014) - [j25]Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang:
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95: 320-342 (2014) - [c80]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng
, Michael R. Lyu:
Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD 2014: 922-923 - [c79]Xianjin Fu
, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang:
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) 2014: 127-134 - [c78]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng
, Michael R. Lyu:
Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom 2014: 519-526 - [c77]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng
, Wei Dong:
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops 2014: 152-155 - [c76]Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang:
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS 2014: 101-117 - [c75]Jingwen Zhou, Zhenbang Chen, Haibo Mi, Ji Wang:
MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. SOSE 2014: 266-271 - [c74]Xueguang Wu, Liqian Chen, Ji Wang:
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. NSAD 2014: 33-45 - [i3]Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. CoRR abs/1403.4813 (2014) - 2013
- [j24]Xicheng Lu, Huaimin Wang, Ji Wang, Jie Xu, Dongsheng Li:
Internet-based Virtual Computing Environment: Beyond the data center as a computer. Future Gener. Comput. Syst. 29(1): 309-322 (2013) - [j23]Rui Wang
, Wanwei Liu
, Tun Li
, Xiaoguang Mao
, Ji Wang
:
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013: 462532:1-462532:12 (2013) - [c73]Wanwei Liu, Rui Wang
, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC 2013: 249-266 - [c72]Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang:
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC 2013: 1204-1210 - [c71]Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang:
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) 2013: 204-210 - [c70]Hengbiao Yu, Zhenbang Chen, Ji Wang:
An Operational Semantics for Model Checking Long Running Transactions. WS-FM 2013: 168-187 - [i2]Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. CoRR abs/1301.3299 (2013) - 2012
- [j22]Dengping Wei, Ting Wang, Ji Wang:
A logistic regression model for Semantic Web service matchmaking. Sci. China Inf. Sci. 55(7): 1715-1720 (2012) - [j21]Pei Fan, Ji Wang, Zhenbang Chen, Zibin Zheng
, Michael R. Lyu:
A spectral clustering-based optimal deployment method for scientific application in cloud computing. Int. J. Web Grid Serv. 8(1): 31-55 (2012) - [j20]Yufeng Zhang, Zhenbang Chen, Ji Wang:
S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j19]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012) - [c69]Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
, Michael R. Lyu:
Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD 2012: 319-326 - [c68]Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC 2012: 20-29 - [c67]Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
:
Online Optimization of VM Deployment in IaaS Cloud. ICPADS 2012: 760-765 - [c66]Yufeng Zhang, Zhenbang Chen, Ji Wang:
Speculative Symbolic Execution. ISSRE 2012: 101-110 - [c65]Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC 2012: 197-200 - [i1]Yufeng Zhang, Zhenbang Chen, Ji Wang:
Speculative Symbolic Execution. CoRR abs/1205.4951 (2012) - 2011
- [j18]Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei:
Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. 8(4): 1251-1276 (2011) - [j17]Dengping Wei, Ting Wang, Ji Wang:
SAWSDL Service Discovery Based on Fine-Grained Data Semantics. IEICE Trans. Inf. Syst. 94-D(3): 525-534 (2011) - [j16]W. Eric Wong, Ji Wang, Fei-Ching Kuo:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 21(2): 165-166 (2011) - [j15]Ji Wang, Rui Shen, Huaimin Wang:
A Programming Language Approach to Internet-Based Virtual Computing Environment. J. Comput. Sci. Technol. 26(4): 600-615 (2011) - [j14]Ji Wang, Wing Kwong Chan
, Fei-Ching Kuo:
Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). Softw. Pract. Exp. 41(10): 997-998 (2011) - [j13]Dengping Wei, Ting Wang, Ji Wang, Abraham Bernstein
:
SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker. J. Web Semant. 9(4): 402-417 (2011) - [c64]Pei Fan, Ji Wang, Zibin Zheng
, Michael R. Lyu:
Toward Optimal Deployment of Communication-Intensive Cloud Applications. IEEE CLOUD 2011: 460-467 - [c63]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 - [c62]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-Divergence Refinement of Compensating Communicating Processes. FM 2011: 262-277 - [c61]Jintao Tang, Ting Wang, Qin Lu
, Ji Wang, Wenjie Li
:
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. IJCAI 2011: 2337-2342 - [c60]Jintao Tang, Qin Lu
, Ting Wang, Ji Wang, Wenjie Li
:
A bipartite graph based social network splicing method for person name disambiguation. SIGIR 2011: 1233-1234 - [c59]Jintao Tang, Ting Wang, Ji Wang, Qin Lu
, Wenjie Li
:
Using complex network features for fast clustering in the web. WWW (Companion Volume) 2011: 133-134 - 2010
- [j12]Xuejun Yang, Ji Wang, Xiaodong Yi:
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs. Comput. J. 53(1): 37-49 (2010) - [c58]Shengdong Zhang, Ji Wang, Rui Shen, Jie Xu:
Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays. ICPP 2010: 258-266 - [c57]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128
2000 – 2009
- 2009
- [j11]Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi:
Automated Worst-Case Execution Time Analysis Based on Program Modes. Comput. J. 52(5): 530-544 (2009) - [j10]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang:
Symbolic model checking APSL. Frontiers Comput. Sci. China 3(1): 130-141 (2009) - [j9]Wanwei Liu, Ji Wang:
A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. 109(16): 941-945 (2009) - [j8]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) - [c56]Siqi Shen, Ji Wang, Rui Shen, Shengdong Zhang, Pei Fan:
Mobility of Internet-Based Virtual Computing Environment. ICPADS 2009: 770-775 - [c55]Jintao Tang, Ting Wang, Ji Wang, Dengping Wei:
Efficient social network approximate analysis on blogosphere based on network structure characteristics. SNAKDD 2009: 7 - [c54]Rui Shen, Ji Wang, Shengdong Zhang, Siqi Shen, Pei Fan:
A framework for constructing peer-to-peer overlay networks in Java. PPPJ 2009: 40-48 - [c53]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 - 2008
- [j7]XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang:
An adaptive casteship mechanism for developing multi-agent systems. Int. J. Comput. Appl. Technol. 31(1/2): 17-34 (2008) - [c52]Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491 - [c51]Jintao Tang, Ting Wang, Ji Wang:
Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. ICYCS 2008: 1664-1670 - [c50]Xiaodong Ma, Ji Wang, Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261 - [c49]Dengping Wei, Ting Wang, Ji Wang, Yaodong Chen:
Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. ISWC 2008: 146-161 - [c48]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma:
Symbolic Model Checking APSL. TASE 2008: 39-46 - 2007
- [j6]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2(4): 262-281 (2007) - [j5]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) - [c47]Wei Dong, Ji Wang, Zhichang Qi, Ni Rong:
Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293 - [c46]Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336 - [c45]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 - [c44]XinJun Mao, Jianming Zhao, Ji Wang:
Engineering Adaptive Multi-Agent Systems with ODAM Methodology. PRIMA 2007: 380-385 - [c43]Xiaodong Ma, Ji Wang, Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path. TTSS 2007: 137-151 - 2006
- [j4]Xicheng Lu, Huaimin Wang, Ji Wang:
Internet-based virtual computing environment (iVCE): Concepts and architecture. Sci. China Ser. F Inf. Sci. 49(6): 681-701 (2006) - [j3]Xiaodong Yi, Ji Wang, Xuejun Yang:
Slicing Execution for Model Checking C Programs. Int. J. Softw. Eng. Knowl. Eng. 16(5): 747-768 (2006) - [c42]Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang:
SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870 - [c41]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 - [c40]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 - [c39]Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham
, Ji Wang:
Automatic Extraction of Hierarchical Relations from Text. ESWC 2006: 215-229 - [c38]Jianming Zhao, XinJun Mao, Ji Wang:
Developing Multi-Agent Systems with Dynamic Binding Mechanism. IAT 2006: 52-58 - [c37]Yang Yu, Ji Wang, Ting Wang, Huowang Chen:
Representing Wholes by Structure. ICCS 2006: 441-454 - [c36]Xiaodong Yi, Ji Wang, Xuejun Yang:
Stateful Dynamic Partial-Order Reduction. ICFEM 2006: 149-167 - [c35]Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi:
Automated WCET Analysis Based on Program Modes. AST 2006: 36-42 - [c34]Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang:
The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. ISDA (2) 2006: 471-476 - [c33]Ji Wang, Xiaodong Yi, Xuejun Yang:
Towards a Framework for Scalable Model Checking of Concurrent C Programs. ISoLA 2006: 355-362 - [c32]Wing Lok Yeung, Ji Wang, Wei Dong:
Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104 - [c31]XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644 - [c30]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304 - [c29]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 - [c28]Wei Dong, Zhenbang Chen, Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS 2006: 89-103 - 2005
- [c27]Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184 - [c26]Ji Wang, Rui Shen, Hong Zhu:
Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298 - [c25]Wei Dong, Ji Wang:
Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8 - [c24]Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi:
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18 - [c23]Ji Wang, Rui Shen, Hong Zhu:
Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132 - [c22]XinJun Mao, Ji Wang, Jiajia Chen:
Modeling Organization Structure of Multi-Agent System. IAT 2005: 116-119 - [c21]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187 - [c20]Xiaodong Yi, Ji Wang, Xuejun Yang:
Verification of C Programs using Slicing Execution. QSIC 2005: 109-116 - [c19]Ji Wang, Rui Shen, Hong Zhu:
Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438 - 2004
- [c18]Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi:
Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365 - [c17]Rui Shen, Ji Wang, Hong Zhu:
Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471 - [c16]Xin Wang, Ji Wang, Zhi-Chang Qi:
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212 - [c15]XinJun Mao, Ji Wang, Eric S. K. Yu:
A Framework to Specify and Evaluate Coordination in MAS with Logic. IAT 2004: 325-328 - [c14]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273 - [c13]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219 - [c12]Jiong Yan, Ji Wang, Huowang Chen:
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445 - [c11]Shuhao Li, Ji Wang, Zhi-Chang Qi:
Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131 - [c10]Yan Jiong, Ji Wang, Huowang Chen:
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31 - [c9]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
- [j2]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) - [c8]Yan Jiong, Ji Wang, Huowang Chen:
Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350 - 2002
- [c7]Ji Wang, Wei Dong, Zhichang Qi:
Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446 - 2001
- [c6]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- - [c5]Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi:
Model Checking UML Statecharts. APSEC 2001: 363-370
1990 – 1999
- 1998
- [j1]Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi:
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13(6): 588-596 (1998) - 1995
- [c4]Chaochen Zhou, Ji Wang, Anders P. Ravn:
A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530 - 1994
- [c3]Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya:
Formal Design of Hybrid Systems. FTRTFT 1994: 738-755 - 1993
- [c2]Ji Wang, Huowang Chen:
A formal technique to analyze real-time systems. COMPSAC 1993: 180-185 - 1992
- [c1]Ji Wang, Huowang Chen:
Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256
Coauthor Index
aka: Wan-Wei Liu
aka: Zhi-Chang Qi
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-17 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint