Publications

5 results for Alei Liang

A heuristic policy-based system call interposition in dynamic binary translation
- - Deen Zheng
  - Zhengwei Qi
  - et al.
- 2009
- MOBHOC 2009
Conference paper
Integrating line segment based maps in multi-robots exploration
- - Yan Yu
  - Ning Wang
  - et al.
- 2009
- FITME 2009
Conference paper
A runtime profile method for dynamic binary translation using hardware-support technique
- - Haibing Guan
  - Huibing Yang
  - et al.
- 2009
- ICISE 2009
Conference paper
An exploration algorithm for a swarm of homogeneous robots
- - Pengchong Zhao
  - Alei Liang
  - et al.
- 2009
- CiSE 2009
Conference paper
An online model checking tool for safety and liveness bugs
- - Zhengwei Qi
  - Liang Liu
  - et al.
- 2008
- ICPADS 2008
Conference paper