Shengping Xiao

14 papers A* 2A 2C 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
An On-the-Fly Synthesis Framework for LTL over Finite Traces.
ACM Trans. Softw. Eng. Methodol.
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2025 A conf
A Compositional Framework for On-the-Fly LTL
ECAI
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2025 J jnl
A Compositional Framework for On-the-Fly LTLf Synthesis.
CoRR
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2024 J jnl
Computing minimal unsatisfiable core for LTL over finite traces.
J. Log. Comput.
Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi
2024 — conf
Model-Guided Synthesis for LTL over Finite Traces.
VMCAI (1)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
2024 J jnl
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.
CoRR
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2023 J jnl
Accelerate Safety Model Checking Based on Complementary Approximate Reachability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu
2023 — conf
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
TACAS (2)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
2023 C conf
LTLf Satisfiability Checking via Formula Progression (S).
SEKE
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
2022 A conf
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.
ICCAD
Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman
2022 J jnl
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
2022 A* conf
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.
IJCAI
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
2021 A* conf
On-the-fly Synthesis for LTL over Finite Traces.
AAAI
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
2020 C conf
SAT-Based Automata Construction for LTL over Finite Traces.
APSEC
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu