[Education] [Research] [Hobbies] [Correspondence] {Bookmarks} {Album}

Education

• 09/2006-Present, Candidate for Doctoral degree in Computer Software and Theory, Department of Computer Science & Technology, Nanjing University, Nanjing, Jiangsu, P.R.China

• 02/2006-09/2006, Visiting Scholar in Department of Computer Science, University of Texas at Dallas, Richardson, TX, USA

• 09/2004-07/2006, Candidate for Master degree in Computer Software and Theory, Department of Computer Science & Technology, Nanjing University, Nanjing, Jiangsu, P.R.China

• 09/2000-06/2004, Bachelor degree in Computer Science and Technology, Department of Computer Science & Technology, Nanjing University, Nanjing, Jiangsu, P.R.China

Research

• My research areas include:

  1. (Bounded) Model checking

  2. Real Time Testing

  3. Model Driven Architecture

• Publications:

  1. Li Xuandong , Bu Lei, Hu Jun, Zhao Jianhua, Zheng Tao, Zheng Guoliang. Scenario-Based Timing Consistency Checking for Time Petri Nets. In Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE2006) , France, 2006, Lecture Notes in Computer Science 4229, Springer.

  2. Xuandong Li, Sumit Kumar Jha, Lei Bu. Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. In Proceedings of the Fourth International Workshop on Bounded Model Checking (BMC06) , USA , 2006, Electronic Notes in Theoretical Computer Science, Elsevier Science.

  3. Li Xuandong , Hu Jun, Bu Lei, Zhao Jianhua, Zheng Guoliang. Consistency Checking of Concurrent Models for Scenario-Based Specifications. In Proceedings of the 12th International SDL Forum (SDL2005) , Norway , 2005, Lecture Notes in Computer Science 3530, Springer, pp.298-312.

Hobbies

• Basketball
• Football
• Music
• Traveling
• Reading
• Writing
• PhotoGraphy

Correspondence

Last Modified:  Jan. 22, 2007

maintained by Bu Lei