Search the dblp DataBase

Publications of Author

1. Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
   Scenario-Based Timing Consistency Checking for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:388-403 [Conf]
   
2. Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
   Consistency Checking of Concurrent Models for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2005, pp:298-312 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:57-70 [Journal]
   
4. 
   TASS: Timing Analyzer of Scenario-Based Specifications. [Citation Graph (, )][DBLP]
   
   
5. 
   BACH 2 : Bounded reachability checker for compositional linear hybrid systems. [Citation Graph (, )][DBLP]
   
   
6. 
   BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. [Citation Graph (, )][DBLP]
   
   
7. 
   Model Checking of Hybrid Systems Using Shallow Synchronization. [Citation Graph (, )][DBLP]
   
   
8. 
   Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. [Citation Graph (, )][DBLP]