Dingbao Xie, Wen Xiong, Lei Bu and Xuandong Li. Deriving Unbounded Proof of Linear Hybrid Automata During Bounded Verification.
In IEEE Transactions on Computers, accept for publication, 2016
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.