Yechuan Xia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | INFOCOM | CRONUS: Counterexample-Guided Constraint Learning for Network Update Synthesis. | Jianshuo Xu, Hongtai Zhu, Jincheng Ding, Runxuan Fang, Yechuan Xia, Haiqin Wu, Chengcheng Wan, Jianwen Li, Geguang Pu |
| 2024 | CAV | Avoiding the Shoals - A New Approach to Liveness Checking. | Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li |
| 2023 | CAV | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |