Lei Bu

	2012
12		Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao: Timing analysis of scenario-based specifications using linear programming. Softw. Test., Verif. Reliab. 22(2): 121-143 (2012)
	2011
11		Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li: Online Verification of Control Parameter Calculations in Communication Based Train Control System CoRR abs/1101.4271: (2011)
10		Lei Bu, Xuandong Li: Path-oriented bounded reachability analysis of composed linear hybrid systems. STTT 13(4): 307-317 (2011)
	2010
9		Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li: BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE 2010: 1512-1517
8		Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta: Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169
7		You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li: Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62
6		Lei Bu, Jianhua Zhao, Xuandong Li: Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94
	2009
5		Minxue Pan, Lei Bu, Xuandong Li: TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695
	2008
4		Lei Bu, You Li, Linzhang Wang, Xuandong Li: BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4
	2007
3		Xuandong Li, Sumit Jha Aanand, Lei Bu: Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electr. Notes Theor. Comput. Sci. 174(3): 57-70 (2007)
	2006
2		Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
	2005
1		Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312

Coauthor Index

1	Sumit Jha Aanand	[3]
2	Xin Chen	[9] [11]
3	Alessandro Cimatti	[8]
4	Jun Hu	[1] [2]
5	Xuandong Li	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
6	You Li	[4] [7] [9]
7	Sergio Mover	[8]
8	Minxue Pan	[5] [12]
9	Stefano Tonetta	[8]
10	Linzhang Wang	[4] [7] [9] [11] [12]
11	Lu Yang	[7]
12	Tao Zhang	[2]
13	Jianhua Zhao	[1] [2] [6] [7] [12]
14	Guoliang Zheng	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page