Embedded Systems Group (ES)

Search Result

2017

BibTeX Search WWW PDF   [Li17a]
X. Li
Induction-based Verification of Synchronous and Hybrid Programs
Presentation

2016

BibTeX Search WWW PDF   [Li16]
X. Li
Control-flow Guided Property Directed Reachability for Imperative Synchronous Programs
Presentation
BibTeX Search WWW PDF   [LiSc16b]
X. Li and K. Schneider
Control-flow Guided Clause Generation for Property Directed Reachability
Presentation
BibTeX Search WWW PDF   [LiSc16d]
X. Li and K. Schneider
Control-flow Guided Property Directed Reachability for Synchronous Programs
Presentation
BibTeX Search WWW PDF   [RBLS16a]
T. Ropertz and K. Berns and X. Li and K. Schneider
Verification of Behavior-Based Control Systems in their Physical Environment
Presentation

2015

BibTeX Search WWW PDF   [LiSc15e]
X. Li and K. Schneider
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems
Presentation

2014

BibTeX Search WWW PDF   [LiSc14b]
X. Li and K. Schneider
Interactive Verification of Hybrid Systems
Presentation

2013

BibTeX Search WWW PDF   [GeLS13]
M. Gesell and X. Li and K. Schneider
Interactive Verification of Cyber-physical Systems
Presentation
BibTeX Search WWW PDF   [LiBS13a]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera
Presentation