Real Time Distributed Systems Lab

Educational Background

PH.D., Computer Science, Texas A&M University, College Station, Texas, 2002 to Present

M.C.S, Computer Science, Southeast University, Nanjing, China, 2002

B.S., Electrical Engineering, Southeast University, Nanjing, China, 1999

Experience

Research Assistant, Department of Computer Science, Texas A&M University, College Station, Texas, 2002 to Present

Publications

Hong Lu & Baowen Xu, "A Survey of Persistent Programming Languages", Computer Science, No.6, 2002

Hong Lu & Baowen Xu, "A State Based Method for Testing Web Applications", Computer Engineering and Application, No.38, Feb. 2002

Jie Guan, Hong Lu & Baowen Xu, "Design and Implementation of C++ Program Tracing & Testing System CAUTER", The 3rd National Programming Language Conference, May. 2001

Baowen Xu, Changhai Nie, Qunfeng Shi & Hong Lu, "An Algorithm for Automatically Generating Black-Box Test Cases", Journal of Electronics, 2003, 20(1):74-77

Zhanyou Xu, Marco van den Berg, Chantel Scheuring, Lina Covaleda, Hong Lu, Steve Liu et al, "Genome Physical Mapping from Large-insert Clones by Fingerprint Analysis with Capillary Electrophoresis: A Robust Physical Map of Penicillium chrysogenum", Nucleic Acids Research, 2005

Hong Lu, Steve Liu & Andrew Jiang, "End-to-End Bandwidth Provision in Multihop Wireless Networks", submitted to Infocom 2006

Technical Reports

Hong Lu, Steve Liu & Hoh In, "On Symbolic Incremental CTL model checking", Technical Report, Texas A&M University, 2005