Dingbao Xie, Lei Bu and Xuandong Li. Deriving Unbounded Proof of Linear Hybrid Automata From Bounded Verification.
In Real-Time Systems Symposium (RTSS). pp. 128-137, 2014.pdfexperiment data
Dingbao Xie, Lei Bu, Jianhua Zhao and Xuandong Li. SAT-LP-IIS Joint-Directed Path-Oriented Bounded Reachability Analysis of Linear Hybrid Automata.
In Formal Methods in System Design. 45(1): 42-62, 2014.
Lei Bu and Dingbao Xie. Formal Verification of Hybrid Systems. In Journal of Software 2014,25(2):219−233 (in Chinese).
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, and Xuandong Li. Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
In Proceedings of the ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS), pp.222, 2012.