Dingbao Xie

According to our database, Dingbao Xie authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

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

Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li

IEEE Trans. Computers, 2017

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 Proof of Linear Hybrid Automata from Bounded Verification.

Dingbao Xie, Lei Bu, Xuandong Li

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

2012

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

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012