Renjian Li

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Static Analysis

Particle Swarm Optimization Algorithm

Top Venues

Sci. Comput. Program.

Publications

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95 (2014)
Jianliang Peng, Renjian Li
A Discrete Particle Swarm Optimization Algorithm for Archipelago Berth Allocation Problem. J. Comput. 9 (7) (2014)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC (2013)
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) (2011)