Dingbao Xie

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure

Wen Xiong, Lei Bu, Xuandong Li, 2017, IEEE Transactions on Computers.

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online

Xin Chen, Lei Bu, Xuandong Li, 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification

Lei Bu, Xuandong Li, Dingbao Xie, 2014, 2014 IEEE Real-Time Systems Symposium.