[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. Working with Prof. Xuandong Li.

• 09/2007-08/2008, Visiting Scholar in Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA. Working with Prof. Edmund M. Clarke.

• 02/2006-09/2006, Visiting Scholar in Department of Computer Science, University of Texas at Dallas, Richardson, TX, USA. Working with Prof. W. Eric Wong.

• 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. Working with Prof. Xuandong Li.

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

Research

• Interested research areas:

  1. (Bounded) Model checking

  2. Hybrid System

  3. Real Time Testing

  4. Model Driven Testing

• Publications:

  1. Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. In Proceedings of International Conference on Formal Methods in Computer Aided Design 2008 (FMCAD2008), Portland, OR, USA, IEEE Computer Society, pp.65-68.

  2. 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.

  3. 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.

  4. 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.

• Tools

1.PRC 1.0 for single LHA

2.PRC 2.0 for compositional LHA

3.BACH 1.0 for single LHA

4.BACH 2.0 for compositional LHA

Hobbies

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

Correspondence

Last Modified:  Mar. 10, 2009

maintained by Lei Bu