Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. - Lei Bu; Dingbao Xie; Xin Chen 027; Linzhang Wang; Xuandong Li (ICCPS, 2012)

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. - Dingbao Xie; Lei Bu; Xuandong Li (RTSS, 2014)

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. - Dingbao Xie; Lei Bu; Jianhua Zhao; Xuandong Li (Formal Methods Syst. Des., 2014)

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. - Dingbao Xie; Wen Xiong; Lei Bu; Xuandong Li (IEEE Trans. Computers, 2017)