近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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
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)
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)
Zhongqi Yu, Xiaoyu Zhang, Jianwen Li: UC-based Approximate Incremental Reachability. Int. J. Softw. Informatics 13(3): 247-267 (2023)
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)
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)
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
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li: LTLf Satisfiability Checking via Formula Progression (S). SEKE 2023: 357-362
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
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
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
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)
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)
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)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier: Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289(Part): 104923 (2022)
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)
Yu Chen, Xiaoyu Zhang, Jianwen Li: Finite Quantified Linear Temporal Logic and Its Satisfiability Checking. AILA 2022: 3-18
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
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
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)
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)
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)
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
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu: Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD 2021: 1-9
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)
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier: SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020)
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)
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)
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)
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu: SAT-Based Automata Construction for LTL over Finite Traces. APSEC 2020: 1-10
Hongfei Wang, Wenjie Cai, Jianwen Li, Kun He: Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis. ASP-DAC 2020: 151-156
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
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
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)
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)
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)
Zheyu Feng, Jianwen Li, Lundong Zhang, Chen Chen: Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry. Sensors 19(10): 2273 (2019)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi: SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier: Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22
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
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
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)
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)
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)
Jingcheng Fu, Jianwen Li, Yawei Niu, Guanghui Wang, Jianliang Wu: Multipolarization versus unification in community networks. Future Gener. Comput. Syst. 83: 454-460 (2018)
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)
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
Hongfei Wang, Jianwen Li, Kun He, Wenjie Cai: Hierarchical ensemble learning for resource-aware FPGA computing: work-in-progress. CODES+ISSS 2018: 18
Jianwen Li, Kristin Y. Rozier: MLTL Benchmark Generation via Formula Progression. RV 2018: 426-433
Zheyu Feng, Jianwen Li: Monocular Visual-Inertial State Estimation With Online Temporal Calibration. UPINLBS 2018: 1-8
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi: SAT-based Explicit LTLf Satisfiability Checking. CoRR abs/1811.03176 (2018)
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
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi: Safety model checking with complementary approximations. ICCAD 2017: 95-100
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi: Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song: Optimizing backbone filtering. TASE 2017: 1-8
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi: Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi: A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi: Approximate Reachability. CoRR abs/1611.04946 (2016)
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)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi: SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi: SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015)
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)
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
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He: LTLf Satisfiability Checking. ECAI 2014: 513-518
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He: Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE 2014: 731-734
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He: Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He: LTLf satisfiability checking. CoRR abs/1403.1666 (2014)
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)
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
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He: LTL Satisfiability Checking Revisited. TIME 2013: 91-98
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He: Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013)
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
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu: A Type System for SPARDL. TASE 2012: 209-216
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
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)
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)
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)
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
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu: An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48
Jianwen Li, Xihuan Sun, Juanjuan Ma: Study on multi-objective optimization for border irrigation technical parameters combination. ICNC 2011: 2273-2277
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
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu: Probabilistic Model of System Survivability. TASE 2010: 193-200
京公网安备 11010802027423号