Shengping Xiao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | A Compositional Framework for On-the-Fly LTL | Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu |
| 2024 | VMCAI | Model-Guided Synthesis for LTL over Finite Traces. | Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi |
| 2023 | SEKE | LTLf Satisfiability Checking via Formula Progression (S). | Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li |
| 2023 | TACAS | FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. | Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu |
| 2022 | ICCAD | Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. | Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman |
| 2022 | IJCAI | LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. | Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu |
| 2021 | AAAI | On-the-fly Synthesis for LTL over Finite Traces. | Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi |
| 2020 | APSEC | SAT-Based Automata Construction for LTL over Finite Traces. | Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu |