Renjian Li

According to our database, Renjian Li authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Static analysis of lists by combining shape and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Sci. Comput. Program., 2014

A Discrete Particle Swarm Optimization Algorithm for Archipelago Berth Allocation Problem.

Jianliang Peng, Renjian Li

J. Comput., 2014

2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2011

Quantitative analysis for symbolic heap bounds of CPS software.

Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei

Comput. Sci. Inf. Syst., 2011