Pan Minxue, Li You, Bu Lei, Li Xuandong. Loop Reduction Techniques for Reachability Analysis of Linear Hybrid Automata. In Science China Information Science 2012 , December 2012 Vol. 55 No. 12: 2663–2674
You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, and Xuandong Li. Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance, Outstanding Student Paper, In Proceedings of the ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGADA 2010), Fairfax, Virginia, USA, 2010.
Lei Bu, You Li, Linzhang Wang, Xin Chen and Xuandong Li. BACH 2: Bounded ReachAbility CHecker for Compositional Linear Hybrid Systems, In Proceedings of the 13th Design Automation & Test in Europe Conference (DATE 2010), Dresden, Germany, pp. 1512-1517, 2010.
Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH: A Toolset for Bounded Reachability Analysis of Linear Hybrid Systmes, accepted by Journal of Software (in Chinese), 2009.
Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH : Bounded ReachAbility CHecker for Linear Hybrid Automata. In Proceedings of the 8th International Conference on Formal Methods in Computer Aided Design(FMCAD2008). Portland, OR, USA, IEEE Computer Society Press, 2008, pp.65-68.