Jianwen Li

104 papers A* 6A 7B 1C 4Misc 6Journal 55Unranked 25
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
2025 J jnl
A single-demonstration guided manipulation learning with dexterous hand.
Eng. Appl. Artif. Intell.
Jianwen Li, Yinglan Lv, Xiangbo Lin, Jinglue Hang, Xuanheng Li, Yi Sun
2025 — conf
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores.
SPIN
Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman
2025 A conf
Deep Smart Contract Intent Detection.
SANER
Youwei Huang, Sen Fang, Jianwen Li, Bin Hu, Jiachun Tao, Tao Zhang
2025 J jnl
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment.
CoRR
Zihan Wang, Jianwen Li, Li-Fan Wu, Nina Mahmoudian
2025 J jnl
Dexterous Manipulation Transfer via Progressive Kinematic-Dynamic Alignment.
CoRR
Wenbin Bai, Qiyu Chen, Xiangbo Lin, Jianwen Li, Quancheng Li, Hejiang Pan, Yi Sun
2025 A* conf
Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation.
ASE
Yibo Dong, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang, Geguang Pu
2025 J jnl
MeshRipple: Structured Autoregressive Generation of Artist-Meshes.
CoRR
Junkai Lin, Hang Long, Huipeng Guo, Jielei Zhang, Jiayi Yang, Tianle Guo, Yang Yang, Jianwen Li, Wenxiao Zhang, Matthias Nießner, Wei Yang
2025 J jnl
Profit scoring with machine learning in marketplace lending: Incorporating soft information.
Expert Syst. Appl.
Jianwen Li, Huicong Liang, Yifei Wanyan, Lu Yu
2025 J jnl
Revisiting Assumptions Ordering in CAR-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman
2025 J jnl
Smart Contract Intent Detection with Pre-trained Programming Language Model.
CoRR
Youwei Huang, Jianwen Li, Sen Fang, Yao Li, Peng Yang, Bin Hu, Tao Zhang
2025 Misc conf
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal.
TASE
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu
2025 J jnl
Vision driven trailer loading for autonomous surface vehicles in dynamic environments.
Frontiers Robotics AI
Jianwen Li, Jalil Chavez-Galaviz, Nina Mahmoudian
2024 J jnl
ASV station keeping under wind disturbances using neural network simulation error minimization model predictive control.
J. Field Robotics
Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian
2024 — conf
Avoiding the Shoals - A New Approach to Liveness Checking.
CAV (1)
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
2024 J jnl
C3D: Cascade Control with Change Point Detection and Deep Koopman Learning for Autonomous Surface Vehicles.
CoRR
Jianwen Li, Hyunsang Park, Wenjian Hao, Lei Xin, Jalil Chavez-Galaviz, Ajinkya Chaudhary, Meredith Bloss, Kyle Pattison, Christopher Vo, Devesh Upadhyay, Shreyas Sundaram, Shaoshuai Mou, Nina Mahmoudian
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
2024 — conf
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.
SIGSOFT FSE Companion
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
2024 J jnl
Revisiting Assumptions Ordering in CAR-Based Model Checking.
CoRR
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman
2024 A conf
Synergistic Reinforcement and Imitation Learning for Vision-driven Autonomous Flight of UAV Along River.
IROS
Zihan Wang, Jianwen Li, Nina Mahmoudian
2024 J jnl
Vision-driven Autonomous Flight of UAV Along River Using Deep Reinforcement Learning with Dynamic Expert Guidance.
CoRR
Zihan Wang, Jianwen Li, Nina Mahmoudian
2023 — conf
A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation.
WACV (Workshops)
Reeve Lambert, Jianwen Li, Jalil Chavez-Galaviz, Nina Mahmoudian
2023 J jnl
ASV Station Keeping under Wind Disturbances using Neural Network Simulation Error Minimization Model Predictive Control.
CoRR
Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian
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 J jnl
An Efficient Detection and Control System for Underwater Docking using Machine Learning and Realistic Simulation: A Comprehensive Approach.
CoRR
Jalil Chavez-Galaviz, Jianwen Li, Matthew Bergman, Miras Mengdibayev, Nina Mahmoudian
2023 J jnl
Dynamic Obstacle Avoidance for USVs Using Cross-Domain Deep Reinforcement Learning and Neural Network Model Predictive Controller.
Sensors
Jianwen Li, Jalil Chavez-Galaviz, Kamyar Azizzadenesheli, Nina Mahmoudian
2023 J jnl
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
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
2023 — conf
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
ESEC/SIGSOFT FSE
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu
2023 — conf
Searching for i-Good Lemmas to Accelerate Safety Model Checking.
CAV (2)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
2023 J jnl
UC-based Approximate Incremental Reachability.
Int. J. Softw. Informatics
Zhongqi Yu, Xiaoyu Zhang, 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 — conf
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking.
AILA
Yu Chen, Xiaoyu Zhang, Jianwen Li
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
2022 J jnl
ROSEBUD: A Deep Fluvial Segmentation Dataset for Monocular Vision-Based River Navigation and Obstacle Avoidance.
Sensors
Reeve Lambert, Jalil Chavez-Galaviz, Jianwen Li, Nina Mahmoudian
2022 J jnl
Satisfiability checking for Mission-time LTL (MLTL).
Inf. Comput.
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
2021 A conf
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
ICCAD
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
2021 J jnl
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning.
CoRR
Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen
2021 J jnl
Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction.
Comput. Electron. Agric.
Haixia Qi, Zeyu Wu, Lei Zhang, Jianwen Li, Jingkang Zhou, Zou Jun, Bingyu 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
2021 J jnl
Robust ASV Navigation Through Ground to Water Cross-Domain Deep Reinforcement Learning.
Frontiers Robotics AI
Reeve Lambert, Jianwen Li, Li-Fan Wu, Nina Mahmoudian
2020 J jnl
A Robust Frequency Estimation Method for Aircraft Grids Under Distorted Conditions.
IEEE Trans. Ind. Electron.
Zhiyong Dai, Mingdi Fan, Hongxiang Nie, Juxiang Zhang, Jianwen Li
2020 J jnl
Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images.
Sensors
Haixia Qi, Bingyu Zhu, Zeyu Wu, Yu Liang, Jianwen Li, Leidi Wang, Tingting Chen, Yubin Lan, Lei Zhang
2020 — conf
Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis.
ASP-DAC
Hongfei Wang, Wenjie Cai, Jianwen Li, Kun He
2020 — conf
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2020 J jnl
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 A* conf
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
ACM Multimedia
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
Hierarchical Ensemble Reduction and Learning for Resource-constrained Computing.
ACM Trans. Design Autom. Electr. Syst.
Hongfei Wang, Jianwen Li, Kun He
2020 C conf
SAT-Based Automata Construction for LTL over Finite Traces.
APSEC
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
2020 J jnl
SAT-based explicit LTLf satisfiability checking.
Artif. Intell.
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
2019 — conf
Improving the user experience in museum: a joint course with Beijing museum of natural history.
CCHI
Xin Xin, Miao Jin, Chunrong Liu, Jianwen Li, Wei Liu, Yi Zhang
2019 — conf
Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
VSTTE
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
2019 J jnl
Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry.
Sensors
Zheyu Feng, Jianwen Li, Lundong Zhang, Chen Chen
2019 A* conf
SAT-Based Explicit LTLf Satisfiability Checking.
AAAI
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2019 J jnl
SAT-based explicit LTL reasoning and its application to satisfiability checking.
Formal Methods Syst. Des.
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
2019 — conf
Satisfiability Checking for Mission-Time LTL.
CAV (2)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
2018 J jnl
A New Motor Imagery EEG Classification Method FB-TRCSP+RF Based on CSP and Random Forest.
IEEE Access
Ranran Zhang, Xiaoyan Xiao, Zhi Liu, Wei Jiang, Jianwen Li, Yankun Cao, Jianmin Ren, Dongmei Jiang, Lizhen Cui
2018 J jnl
Accelerating LTL satisfiability checking by SAT solvers.
J. Log. Comput.
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2018 J jnl
An explicit transition system construction approach to LTL satisfiability checking.
Formal Aspects Comput.
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
2018 Misc conf
Hierarchical ensemble learning for resource-aware FPGA computing: work-in-progress.
CODES+ISSS
Hongfei Wang, Jianwen Li, Kun He, Wenjie Cai
2018 B conf
MLTL Benchmark Generation via Formula Progression.
RV
Jianwen Li, Kristin Y. Rozier
2018 — conf
Monocular Visual-Inertial State Estimation With Online Temporal Calibration.
UPINLBS
Zheyu Feng, Jianwen Li
2018 J jnl
Multipolarization versus unification in community networks.
Future Gener. Comput. Syst.
Jingcheng Fu, Jianwen Li, Yawei Niu, Guanghui Wang, Jianliang Wu
2018 J jnl
SAT-based Explicit LTLf Satisfiability Checking.
CoRR
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2018 — conf
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.
CAV (2)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
2018 J jnl
Towards backbone computing: A Greedy-Whitening based approach.
AI Commun.
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
2017 J jnl
A Symbolic Approach to Safety LTL Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 — conf
A Symbolic Approach to Safety ltl Synthesis.
Haifa Verification Conference
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 Misc conf
Optimizing backbone filtering.
TASE
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
2017 A conf
Safety model checking with complementary approximations.
ICCAD
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2017 A* conf
Symbolic LTLf Synthesis.
IJCAI
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 J jnl
Symbolic LTLf Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2016 J jnl
Approximate Reachability.
CoRR
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2015 J jnl
Experimental and Numerical Simulation Research on Micro-Gears Fabrication by Laser Shock Punching Process.
Micromachines
Huixia Liu, Jianwen Li, Zongbao Shen, Qing Qian, Hongfeng Zhang, Xiao Wang
2015 — conf
SAT-Based Explicit LTL Reasoning.
Haifa Verification Conference
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2015 J jnl
SAT-based Explicit LTL Reasoning.
CoRR
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2014 — conf
Aalta: an LTL satisfiability checker over Infinite/Finite traces.
SIGSOFT FSE
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
2014 J jnl
Fast LTL Satisfiability Checking by SAT Solvers.
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2014 J jnl
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst.
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014 A conf
LTLf Satisfiability Checking.
ECAI
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2014 J jnl
LTLf satisfiability checking.
CoRR
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2014 — conf
Runtime Verification by Convergent Formula Progression.
APSEC (1)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
2013 J jnl
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci.
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
2013 C conf
LTL Satisfiability Checking Revisited.
TIME
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2013 — conf
On the Relationship between LTL Normal Forms and Büchi Automata.
Theories of Programming and Formal Methods
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
2013 J jnl
Polsat: A Portfolio LTL Satisfiability Solver.
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
2012 Misc conf
A Type System for SPARDL.
TASE
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu
2012 C conf
An Approach to Requirement Analysis for Periodic Control Systems.
SEW
Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu
2012 — conf
MDM: A Mode Diagram Modeling Framework
FTSCS
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012 J jnl
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
CoRR
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012 J jnl
On the Relationship between LTL Normal Forms and Buechi Automata
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
2011 — conf
An Event-B Interpretation for SPARDL Model.
HASE
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
2011 — conf
Intelligence Optimization in Parameter Identification of the Border Irrigation Model.
AICI (2)
Jianwen Li, Xihuan Sun, Juanjuan Ma, Xianghong Guo, Jingling Li
2011 Misc conf
Study on multi-objective optimization for border irrigation technical parameters combination.
ICNC
Jianwen Li, Xihuan Sun, Juanjuan Ma
2011 J jnl
Study on the Four-channel Skin-hearing Aid Based on Morse Codes.
Comput. Inf. Sci.
Jianwen Li, Yuanyuan Hou, Jianghong Li
2010 Misc conf
Probabilistic Model of System Survivability.
TASE
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
2010 — conf
SPARDL: A Requirement Modeling Language for Periodic Control System.
ISoLA (1)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu