Bu Lei's Homepage



	Bu Lei

	PH.D. Candidate Teaching Assistant
	Department of Computer Science & Technology, Nanjing University, China Supervisor Prof. Xuandong Li Group NJU Software Engineering Group

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, accepted.

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

Hobbies

Correspondence


Mail:	Bu Lei
	Room 508, MengMinwei Building, Department of Computer Science and Technology,	Office:	508, MengMinwei Science Building II, Main Campus of Nanjing University

	Nanjing University	My group:	http://seg.nju.edu.cn
	Hankou Road 22	URL:	http://seg.nju.edu.cn/people/~bl/index.htm
	Nanjing 210093, China	Email:	bl@seg.nju.edu.cn

Last Modified: Sep. 23, 2008

maintained by Lei Bu