Login / Signup
Dingbao Xie
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Cyber Physical
Formal Proof
Reachability Analysis
Finite State Automata
Top Venues
RTSS
IEEE Trans. Computers
Formal Methods Syst. Des.
ICCPS
</>
Publications
</>
Dingbao Xie
,
Wen Xiong
,
Lei Bu
,
Xuandong Li
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.
IEEE Trans. Computers
66 (3) (2017)
Dingbao Xie
,
Lei Bu
,
Xuandong Li
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.
RTSS
(2014)
Dingbao Xie
,
Lei Bu
,
Jianhua Zhao
,
Xuandong Li
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Formal Methods Syst. Des.
45 (1) (2014)
Lei Bu
,
Dingbao Xie
,
Xin Chen
,
Linzhang Wang
,
Xuandong Li
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
ICCPS
(2012)