Shengping Xiao

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Deterministic Automata

Linear Temporal Logic

Formal Verification

Top Venues

Publications

Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) (2024)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) (2023)
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
LTLf Satisfiability Checking via Formula Progression (S). SEKE (2023)
Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu
Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (9) (2023)
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR (2022)
Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. ICCAD (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
On-the-fly Synthesis for LTL over Finite Traces. AAAI (2021)
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
SAT-Based Automata Construction for LTL over Finite Traces. APSEC (2020)