Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. - Xian Li 002; Kerstin Bauer; Klaus Schneider 001 (FedCSIS, 2013)

A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. - Xian Li 002; Klaus Schneider 001 (MBMV, 2015)

Verification condition generation for hybrid systems. - Xian Li 002; Klaus Schneider 001 (MEMOCODE, 2015)

An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. - Xian Li 002; Klaus Schneider 001 (SyDe Summer School, 2015)

Control-flow guided clause generation for property directed reachability. - Xian Li 002; Klaus Schneider 001 (HLDVT, 2016)

Verification of Behavior-Based Control Systems in their Physical Environment. - Thorsten Ropertz; Karsten Berns; Xian Li 002; Klaus Schneider 001 (MBMV, 2016)

Control-flow guided property directed reachability for imperative synchronous programs. - Xian Li 002; Klaus Schneider 001 (MEMOCODE, 2016)

Induction-based Verification of Synchronous and Hybrid Programs - Xian Li 002 (2018)