| 1 |
Demand-Driven Memory Leak Detection Based on Flow and Context-Sensitive Pointer Analysis
|
期刊论文 |
Ji Wang;Xiaodong Ma;Wei Dong;Hou-Feng Xu;Wanwei Liu |
| 2 |
An Abstract Domain to Discover Interval Linear Equalities
|
会议论文 |
Liqian Chen;Antonie Mine;Ji Wang;Patrick Cousot |
| 3 |
A Programming Language Approach to Internet-Based Virtual Computing Environment
|
期刊论文 |
Ji Wang;Rui Shen;Huaiming Wang |
| 4 |
线性 μ-演算交换深度的可判定性及其复杂度
|
期刊论文 |
刘万伟;王戟;陈火旺 |
| 5 |
A Spectral Clustering-based Optimal Deployment Method for Scientific Application in Cloud Computing
|
期刊论文 |
|
| 6 |
ETL 的符号化模型检验
|
期刊论文 |
刘万伟;王戟;王昭飞 |
| 7 |
Linear Absolute Value Relation Analysis
|
会议论文 |
Liqiang Chen;Antonie Mine;Ji Wang;Patrick Cousot |
| 8 |
Software Active Online Monitoring under Anticipatory Semantics
|
会议论文 |
Changzhi Zhao;Wei Dong;Ji Wang;Ping Sui;Zhichang Qi |
| 9 |
An Extended cCSP with Stable Failures Semantics
|
会议论文 |
Liu, Zhiming|Chen, Zhenbang| |
| 10 |
A Sound Floating-Point Polyhedra Abstract Domain
|
会议论文 |
Liqian Chen;Antoine Mine;Patrick Cousot |
| 11 |
Failure-Divergence Refinement of Compensating Communicating Processes
|
会议论文 |
Zhenbang Chen|Zhiming Liu|Ji Wang| |
| 12 |
Simple and Precise Widenings for H-Polyhedra
|
会议论文 |
Axel Simon;Liqian Chen |
| 13 |
面向参数化LTL的预测监控器构造技术
|
期刊论文 |
赵常智;董威;隋平;齐治昌;ZHAO Chang-Zhi+ DONG Wei SUI Ping QI Zhi-Chang(School of Computer National University of Defense Technology Changsha 410073 China) |
| 14 |
Symbolic Model Checking APSL
|
会议论文 |
|
| 15 |
A Tighter Analysis of Piterman’s Büchi Determinization
|
期刊论文 |
Wanwei Liu;Ji Wang |
| 16 |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
|
会议论文 |
Liqian Chen;Antonie Mine;Ji Wang;Patrick Cousot |
| 17 |
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
|
期刊论文 |
Xuejun Yang;Ji Wang;Xiaodong Yi |
| 18 |
单变量区间线性不等式抽象域
|
期刊论文 |
陈立前;王戟;侯苏宁 |
| 19 |
基于约束的多面体抽象域的弱结合
|
期刊论文 |
陈立前;王戟;刘万伟 |
| 20 |
Symbolic Model Checking APSL
|
期刊论文 |
|
| 21 |
Quantitative Analysis for Symbolic Heap Bounds of CPS Software
|
期刊论文 |
Renjian Li|Ji Wang|Liqian Chen|Wanwei Liu|Dengping Wei| |
| 22 |
Computing Must and May Alias to Detect Null Pointer Dereference
|
会议论文 |
Ji Wang|Wei Dong|Xiaodong Ma| |
| 23 |
软件分析技术进展
|
期刊论文 |
梅宏;王千祥;张路;王戟 |
