| * | 2009 |
|---|
| 5 | EE | Minxue Pan,
Lei Bu,
Xuandong Li:
TASS: Timing Analyzer of Scenario-Based Specifications.
CAV 2009: 689-695 |
| 2008 |
|---|
| 4 | EE | Lei Bu,
You Li,
Linzhang Wang,
Xuandong Li:
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.
FMCAD 2008: 1-4 |
| 2007 |
|---|
| 3 | EE | 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 | EE | 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 | EE | Xuandong Li,
Jun Hu,
Lei Bu,
Jianhua Zhao,
Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications.
SDL Forum 2005: 298-312 |
