Jianwen Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
20
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
32 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 |
| 2025 | ECAI | A Compositional Framework for On-the-Fly LTL | Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu |
| 2025 | SANER | Deep Smart Contract Intent Detection. | Youwei Huang, Sen Fang, Jianwen Li, Bin Hu, Jiachun Tao, Tao Zhang |
| 2025 | TASE | Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. | Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu |
| 2024 | CAV | Avoiding the Shoals - A New Approach to Liveness Checking. | Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li |
| 2024 | IROS | Synergistic Reinforcement and Imitation Learning for Vision-driven Autonomous Flight of UAV Along River. | Zihan Wang, Jianwen Li, Nina Mahmoudian |
| 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 | CAV | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |
| 2023 | WACV | A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation. | Reeve Lambert, Jianwen Li, Jalil Chavez-Galaviz, Nina Mahmoudian |
| 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 |
| 2021 | ICCAD | Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. | Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu |
| 2020 | APSEC | SAT-Based Automata Construction for LTL over Finite Traces. | Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu |
| 2020 | ASPDAC | Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis. | Hongfei Wang, Wenjie Cai, Jianwen Li, Kun He |
| 2019 | AAAI | SAT-Based Explicit LTLf Satisfiability Checking. | Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi |
| 2019 | CAV | Satisfiability Checking for Mission-Time LTL. | Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier |
| 2018 | CAV | SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. | Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi |
| 2018 | RV | MLTL Benchmark Generation via Formula Progression. | Jianwen Li, Kristin Y. Rozier |
| 2017 | ICCAD | Safety model checking with complementary approximations. | Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi |
| 2017 | IJCAI | Symbolic LTLf Synthesis. | Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
| 2017 | TASE | Optimizing backbone filtering. | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |
| 2014 | APSEC | Runtime Verification by Convergent Formula Progression. | Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen |
| 2014 | ECAI | LTLf Satisfiability Checking. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2013 | TIME | LTL Satisfiability Checking Revisited. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2012 | SEW | An Approach to Requirement Analysis for Periodic Control Systems. | Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu |
| 2012 | TASE | A Type System for SPARDL. | Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu |
| 2011 | ICNC | Study on multi-objective optimization for border irrigation technical parameters combination. | Jianwen Li, Xihuan Sun, Juanjuan Ma |
| 2010 | ISoLA | SPARDL: A Requirement Modeling Language for Periodic Control System. | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
| 2010 | TASE | Probabilistic Model of System Survivability. | Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu |