default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJianwen Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j24]Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian:
ASV station keeping under wind disturbances using neural network simulation error minimization model predictive control. J. Field Robotics 41(6): 1797-1813 (2024)- [j23]Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi:
Computing minimal unsatisfiable core for LTL over finite traces. J. Log. Comput. 34(7): 1274-1294 (2024) - [c43]Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li:
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) 2024: 234-254 - [c42]Jingling Sun
, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu:
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion 2024: 440-451 - [c41]Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207 - [i21]Zihan Wang, Jianwen Li, Nina Mahmoudian:
Vision-driven Autonomous Flight of UAV Along River Using Deep Reinforcement Learning with Dynamic Expert Guidance. CoRR abs/2401.09332 (2024) - [i20]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:
C3D: Cascade Control with Change Point Detection and Deep Koopman Learning for Autonomous Surface Vehicles. CoRR abs/2403.05972 (2024) - [i19]Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024) - [i18]Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman:
Revisiting Assumptions Ordering in CAR-Based Model Checking. CoRR abs/2411.00026 (2024) - 2023
- [j22]Zhongqi Yu, Xiaoyu Zhang, Jianwen Li:
UC-based Approximate Incremental Reachability. Int. J. Softw. Informatics 13(3): 247-267 (2023) - [j21]Jianwen Li, Jalil Chavez-Galaviz, Kamyar Azizzadenesheli, Nina Mahmoudian:
Dynamic Obstacle Avoidance for USVs Using Cross-Domain Deep Reinforcement Learning and Neural Network Model Predictive Controller. Sensors 23(7): 3572 (2023) - [j20]Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu:
Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9): 3105-3117 (2023) - [c40]Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu:
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) 2023: 288-308 - [c39]Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li:
LTLf Satisfiability Checking via Formula Progression (S). SEKE 2023: 357-362 - [c38]Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu:
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE 2023: 1914-1925 - [c37]Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu:
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) 2023: 36-43 - [c36]Reeve Lambert, Jianwen Li, Jalil Chavez-Galaviz, Nina Mahmoudian:
A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation. WACV (Workshops) 2023: 255-264 - [i17]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR abs/2306.01260 (2023) - [i16]Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian:
ASV Station Keeping under Wind Disturbances using Neural Network Simulation Error Minimization Model Predictive Control. CoRR abs/2310.07892 (2023) - [i15]Jalil Chavez-Galaviz, Jianwen Li, Matthew Bergman, Miras Mengdibayev, Nina Mahmoudian:
An Efficient Detection and Control System for Underwater Docking using Machine Learning and Realistic Simulation: A Comprehensive Approach. CoRR abs/2311.01522 (2023) - 2022
- [j19]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289(Part): 104923 (2022) - [j18]Reeve Lambert, Jalil Chavez-Galaviz, Jianwen Li, Nina Mahmoudian:
ROSEBUD: A Deep Fluvial Segmentation Dataset for Monocular Vision-Based River Navigation and Obstacle Avoidance. Sensors 22(13): 4681 (2022) - [c35]Yu Chen, Xiaoyu Zhang, Jianwen Li:
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking. AILA 2022: 3-18 - [c34]Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman:
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. ICCAD 2022: 126:1-126:9 - [c33]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [i14]Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu:
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR abs/2203.12903 (2022) - 2021
- [j17]Haixia Qi, Zeyu Wu, Lei Zhang, Jianwen Li, Jingkang Zhou, Zou Jun, Bingyu Zhu:
Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction. Comput. Electron. Agric. 187: 106292 (2021) - [j16]Reeve Lambert, Jianwen Li, Li-Fan Wu, Nina Mahmoudian:
Robust ASV Navigation Through Ground to Water Cross-Domain Deep Reinforcement Learning. Frontiers Robotics AI 8: 739023 (2021) - [c32]Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces. AAAI 2021: 6530-6537 - [c31]Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu:
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD 2021: 1-9 - [i13]Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen:
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. CoRR abs/2106.06931 (2021) - 2020
- [j15]Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020) - [j14]Haixia Qi, Bingyu Zhu, Zeyu Wu, Yu Liang, Jianwen Li, Leidi Wang, Tingting Chen, Yubin Lan, Lei Zhang:
Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images. Sensors 20(23): 6732 (2020) - [j13]Zhiyong Dai, Mingdi Fan, Hongxiang Nie, Juxiang Zhang, Jianwen Li:
A Robust Frequency Estimation Method for Aircraft Grids Under Distorted Conditions. IEEE Trans. Ind. Electron. 67(5): 4254-4258 (2020) - [j12]Hongfei Wang, Jianwen Li, Kun He:
Hierarchical Ensemble Reduction and Learning for Resource-constrained Computing. ACM Trans. Design Autom. Electr. Syst. 25(1): 12:1-12:21 (2020) - [c30]Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu:
SAT-Based Automata Construction for LTL over Finite Traces. APSEC 2020: 1-10 - [c29]Hongfei Wang, Wenjie Cai, Jianwen Li, Kun He:
Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis. ASP-DAC 2020: 151-156 - [c28]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia 2020: 1217-1226 - [c27]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE 2020: 1376-1386 - [i12]Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020) - [i11]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020)
2010 – 2019
- 2019
- [j11]Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019) - [j10]Zheyu Feng, Jianwen Li, Lundong Zhang, Chen Chen:
Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry. Sensors 19(10): 2273 (2019) - [c26]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c25]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22 - [c24]Xin Xin, Miao Jin, Chunrong Liu, Jianwen Li, Wei Liu, Yi Zhang:
Improving the user experience in museum: a joint course with Beijing museum of natural history. CCHI 2019: 30-36 - [c23]Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier:
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE 2019: 180-192 - 2018
- [j9]Ranran Zhang, Xiaoyan Xiao, Zhi Liu, Wei Jiang, Jianwen Li, Yankun Cao, Jianmin Ren, Dongmei Jiang, Lizhen Cui:
A New Motor Imagery EEG Classification Method FB-TRCSP+RF Based on CSP and Random Forest. IEEE Access 6: 44944-44950 (2018) - [j8]Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li:
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31(3): 267-280 (2018) - [j7]Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30(2): 193-217 (2018) - [j6]Jingcheng Fu, Jianwen Li, Yawei Niu, Guanghui Wang, Jianliang Wu:
Multipolarization versus unification in community networks. Future Gener. Comput. Syst. 83: 454-460 (2018) - [j5]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018) - [c22]Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi:
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) 2018: 37-44 - [c21]Hongfei Wang, Jianwen Li, Kun He, Wenjie Cai:
Hierarchical ensemble learning for resource-aware FPGA computing: work-in-progress. CODES+ISSS 2018: 18 - [c20]Jianwen Li, Kristin Y. Rozier:
MLTL Benchmark Generation via Formula Progression. RV 2018: 426-433 - [c19]Zheyu Feng, Jianwen Li:
Monocular Visual-Inertial State Estimation With Online Temporal Calibration. UPINLBS 2018: 1-8 - [i10]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-based Explicit LTLf Satisfiability Checking. CoRR abs/1811.03176 (2018) - 2017
- [c18]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162 - [c17]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100 - [c16]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369 - [c15]Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song:
Optimizing backbone filtering. TASE 2017: 1-8 - [i9]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017) - [i8]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017) - 2016
- [i7]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016) - 2015
- [j4]Huixia Liu, Jianwen Li, Zongbao Shen, Qing Qian, Hongfeng Zhang, Xiao Wang:
Experimental and Numerical Simulation Research on Micro-Gears Fabrication by Laser Shock Punching Process. Micromachines 6(8): 969-983 (2015) - [c14]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224 - [i6]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015) - 2014
- [j3]Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu:
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. 97-D(9): 2356-2370 (2014) - [c13]Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:
Runtime Verification by Convergent Formula Progression. APSEC (1) 2014: 255-262 - [c12]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518 - [c11]Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He:
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE 2014: 731-734 - [i5]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014) - [i4]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014) - 2013
- [j2]Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He:
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7(2): 214-235 (2013) - [c10]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen:
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods 2013: 256-270 - [c9]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. TIME 2013: 91-98 - [i3]Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He:
Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013) - 2012
- [c8]Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu:
An Approach to Requirement Analysis for Periodic Control Systems. SEW 2012: 130-139 - [c7]Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu:
A Type System for SPARDL. TASE 2012: 209-216 - [c6]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149 - [i2]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012) - [i1]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012) - 2011
- [j1]Jianwen Li, Yuanyuan Hou, Jianghong Li:
Study on the Four-channel Skin-hearing Aid Based on Morse Codes. Comput. Inf. Sci. 4(5): 111-115 (2011) - [c5]Jianwen Li, Xihuan Sun, Juanjuan Ma, Xianghong Guo, Jingling Li:
Intelligence Optimization in Parameter Identification of the Border Irrigation Model. AICI (2) 2011: 11-18 - [c4]Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu:
An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48 - [c3]Jianwen Li, Xihuan Sun, Juanjuan Ma:
Study on multi-objective optimization for border irrigation technical parameters combination. ICNC 2011: 2273-2277 - 2010
- [c2]Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu:
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) 2010: 594-608 - [c1]Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu:
Probabilistic Model of System Survivability. TASE 2010: 193-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
