Xian Li

According to our database, Xian Li authored at least 8 papers between 2013 and 2018.

Collaborative distances:

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

2018

Induction-based Verification of Synchronous and Hybrid Programs

Xian Li

PhD thesis, 2018

2016

Control-flow guided property directed reachability for imperative synchronous programs.

Xian Li, Klaus Schneider

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Verification of Behavior-Based Control Systems in their Physical Environment.

Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Control-flow guided clause generation for property directed reachability.

Xian Li, Klaus Schneider

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems.

Xian Li, Klaus Schneider

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Verification condition generation for hybrid systems.

Xian Li, Klaus Schneider

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems.

Xian Li, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

2013

Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera.

Xian Li, Kerstin Bauer, Klaus Schneider

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013