| 2026 | CHI | Bridging Analytical Rigor and Narrative Engagement through Interactive Story Structures. | Xuanbin Fang, Zhida Sun, Wenchao Li, Qing Chen, Xiaojuan Ma, Hui Huang |
| 2026 | CHI | NetworkCanvas: Supporting Progressive Network Visualization Exploration via Adaptive Recommendations. | Wenchao Li, Yuewen Gao, Yu He, Cong Zhu, Ke Xu |
| 2025 | DAC | Differentiable Net-Moving and Local Congestion Mitigation for Routability-Driven Global Placement. | Wenchao Li, Hongxi Wu, Duanxiang Liu, Xingquan Li, Wenxing Zhu |
| 2025 | ICLR | Constraint-Conditioned Actor-Critic for Offline Safe Reinforcement Learning. | Zijian Guo, Weichao Zhou, Shengao Wang, Wenchao Li |
| 2025 | ICRA | Safety Guaranteed Robust Multi-Agent Reinforcement Learning with Hierarchical Control for Connected and Automated Vehicles. | Zhili Zhang, H. M. Sabbir Ahmad, Ehsan Sabouni, Yanchao Sun, Furong Huang, Wenchao Li, Fei Miao |
| 2025 | NAACL | Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. | Chenyu Wang, Weichao Zhou, Shantanu Ghosh, Kayhan Batmanghelich, Wenchao Li |
| 2024 | AAAI | REGLO: Provable Neural Network Repair for Global Robustness Properties. | Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li |
| 2024 | EMNLP | HyQE: Ranking Contexts with Hypothetical Query Embeddings. | Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li |
| 2024 | ICML | Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. | Zijian Guo, Weichao Zhou, Wenchao Li |
| 2024 | IGARSS | Grating Lobe Suppression of Multichannel Forward-Looking SAR Based on Self-Supervised Contrastive Learning. | Ziwen Wang, Wenchao Li, Rui Chen, Chengjie Kang, Jianyu Yang |
| 2024 | IGARSS | Modified Subaperture Method for Bistatic SAR Echo Simulation. | Lei Wang, Yufeng Qiu, Tianfu Chen, Wenchao Li, Haiguang Yang, Jianyu Yang |
| 2024 | IGARSS | Performance Analysis of Resolving Left/Right Ambiguity in Multichannel Forward-Looking SAR Imaging. | Kun Zhang, Rui Chen, Ziwen Wang, Wenchao Li, Jianyu Yang |
| 2024 | IGARSS | Multiple Snapshot Forward-Looking Superresolution Imaging of Coprime Array Radar. | Rui Chen, Wenchao Li, Kun Zhang, Kefeng Li, Ziwen Wang, Jianyu Yang |
| 2024 | IGARSS | An Improved Fusion Scheme for Multichannel Radar Forward-Looking Imaging. | Rui Chen, Wenchao Li, Kun Zhang, Kefeng Li, Ziwen Wang, Jianyu Yang |
| 2024 | IGARSS | Modified Sparse Bayesian Learning-Based Multichannel Radar Forward Looking Imaging. | Kefeng Li, Wenchao Li, Rui Chen, Kun Zhang, Deqing Mao, Jianyu Yang |
| 2023 | CHI | NetworkNarratives: Data Tours for Visual Network Exploration and Analysis. | Wenchao Li, Sarah Schttler, James Scott-Brown, Yun Wang, Siming Chen, Huamin Qu, Benjamin Bach |
| 2023 | CHI | GeoCamera: Telling Stories in Geographic Visualizations with Camera Movements. | Wenchao Li, Zhan Wang, Yun Wang, Di Weng, Liwenhan Xie, Siming Chen, Haidong Zhang, Huamin Qu |
| 2023 | ICMLA | Dormant Neural Trojans. | Feisi Fu, Panagiota Kiourti, Wenchao Li |
| 2023 | IGARSS | Multichannel Forward-Looking SAR Azimuth Superresolution Based on Cyclegan. | Ziwen Wang, Wenchao Li, Rui Chen, Junjie Wu, Jianyu Yang |
| 2023 | IGARSS | Simultaneous Super-Resolution and Target Detection of Forward-Looking Scanning Radar via LRSD-ADMM-net. | Boyang Zhang, Wenchao Li, Rui Chen, Jianyu Yang, Yin Zhang, Yulin Huang |
| 2023 | IGARSS | Multichannel Radar Forward-Looking Superresolution Imaging Based on ISTA-Net. | Mingming Zhou, Wenchao Li, Rui Chen, Junjie Wu, Jianyu Yang |
| 2023 | IGARSS | Sidelobe Suppression for Multichannel Forward-Looking SAR Imaging Based on Spatial Smoothing Coherence Factor. | Yuan Chen, Wenchao Li, Rui Chen, Junjie Wu, Jianyu Yang |
| 2023 | IGARSS | Multichannel Radar Forward Looking Superresolution Imaging via Atomic Norm Minimization. | Rui Chen, Wenchao Li, Kefeng Li, Jianyu Yang, Yulin Huang |
| 2023 | IGARSS | Multichannel Radar Forward-Looking Imaging: Potential and Challenges. | Wenchao Li, Rui Chen, Jianyu Yang, Junjie Wu, Yulin Huang |
| 2023 | IGARSS | Sparse Bayesian Learning Based Multichannel Radar Forward Looking Superresolution Imaging Considering Off-Grid Error. | Kefeng Li, Wenchao Li, Rui Chen, Jianyu Yang |
| 2022 | AAAI | Programmatic Reward Design by Example. | Weichao Zhou, Wenchao Li |
| 2022 | ATVA | POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. | Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu |
| 2022 | DATE | Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. | Kacper Wardega, Wenchao Li, Hyoseung Kim, Yawen Wu, Zhenge Jia, Jingtong Hu |
| 2022 | ICLR | Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. | Feisi Fu, Wenchao Li |
| 2022 | ICML | DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. | Jiameng Fan, Wenchao Li |
| 2022 | ICML | A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. | Weichao Zhou, Wenchao Li |
| 2022 | IGARSS | Influence of Antenna Pattern Sidelobes on the Performance of Scanning Radar Angular Super-Resolution Algorithm. | Yangyang Peng, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2022 | IGARSS | Forward Looking Imaging of Airborne Multichannel Radar based on Modified IAA. | Rui Chen, Wenchao Li, Yongchao Zhang, Jianyu Yang |
| 2022 | UIC | A Data Representation and Resource Allocation Approach for Intelligent Network Architecture. | Wenchao Li, Zhicheng Zeng, Anran Xu, Shan Yin, Liwei Kuang, Fei Zou |
| 2021 | AAAI | Adversarial Training and Provable Robustness: A Tale of Two Objectives. | Jiameng Fan, Wenchao Li |
| 2021 | ACSAC | MISA: Online Defense of Trojaned Models using Misattributions. | Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha |
| 2021 | IGARSS | Three Dimensional Surface Reconstruction with Multistatic SAR. | Xiaowen Zhang, Wenchao Li, Chuan Huang, Wenjing Wang, Zhongyu Li, Junjie Wu |
| 2020 | ATVA | ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. | Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu |
| 2020 | DAC | Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. | Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu |
| 2020 | DAC | TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. | Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li |
| 2020 | DATE | Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. | Kacper Wardega, Wenchao Li |
| 2020 | ICCAD | Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. | Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi |
| 2020 | IGARSS | SAR Image Super-Resolution Base on Weighted Dense Connected Convolutional Network. | Jianwen Yu, Wenchao Li, Zhongyu Li, Junjie Wu, Haiguang Yang, Jianyu Yang |
| 2020 | IGARSS | Majorize-Minimization Based Super-Resolution Method for Radar Forward-Looking Imaging. | Qiping Zhang, Yin Zhang, Yongchao Zhang, Yulin Huang, Wenchao Li, Jianyu Yang |
| 2020 | IGARSS | Fast Total Variation Superresolution Method for Radar Forward-Looking Imaging. | Qiping Zhang, Yongchao Zhang, Yin Zhang, Yulin Huang, Wenchao Li, Jianyu Yang |
| 2020 | IGARSS | Efficient Time Domain Echo Simulation of Bistatic SAR Considering Topography Variation. | Tianfu Chen, Jiyu Zhang, Wenchao Li, Junjie Wu, Zhongyu Li, Yulin Huang, Jianyu Yang |
| 2020 | IGARSS | An Improved Target Extraction Scheme for Forward-Looking Scanning Radar. | Wenchao Li, Shirui Yang, Wentao Zhang, Yulin Huang, Jianyu Yang |
| 2020 | RV | Runtime-Safety-Guided Policy Repair. | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li |
| 2019 | ICCAD | Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. | Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu |
| 2019 | IGARSS | Azimuth Superresolution of Forward-Looking Radar Imaging Based on Improved Total Variation. | Qiping Zhang, Yin Zhang, Yongchao Zhang, Yulin Huang, Wenchao Li, Junjie Wu, Jianyu Yang |
| 2019 | IGARSS | Super-Resolution of Forward-Looking Scanning Radar Based on Low-Rank and Sparse Constraints. | Wentao Zhang, Wenchao Li, Yongchao Zhang, Yin Zhang, Yulin Huang, Jianyu Yang |
| 2019 | IGARSS | Frequency Reference Error Analysis for Bistatic SAR. | Yi Li, Wenchao Li, Zhongyu Li, Junjie Wu, Yulin Huang, Jianyu Yang |
| 2019 | IGARSS | Super-Resolution Imaging of Real-Beam Scanning Radar Base on Accelerated Maximum a Posteriori Algorithm. | Wenchao Li, Meihua Niu, Yongchao Zhang, Yulin Huang, Jianyu Yang |
| 2019 | IGARSS | Target Detection of Forward-Looking Scanning Radar Based On Low-Rank and Sparse Matrix Decomposition. | Wenchao Li, Wentao Zhang, Qiping Zhang, Yin Zhang, Yulin Huang, Jianyu Yang |
| 2019 | SP | Resilience of Multi-robot Systems to Physical Masquerade Attacks. | Kacper Wardega, Roberto Tron, Wenchao Li |
| 2018 | CAV | Safety-Aware Apprenticeship Learning. | Weichao Zhou, Wenchao Li |
| 2018 | ICASSP | A Modified Signal Phase Unwrapping Algorithm for Range Estimation. | Wenchao Li, Xuezhi Wang, Bill Moran |
| 2018 | IGARSS | Space Variant-Based Maximum a Posteriori Angular Super-Resolution Algorithm for Real-Beam Scanning Radar. | Ke Tan, Wenchao Li, Yongchao Zhang, Yulin Huang, Jianyu Yang, Xiaobo Yang |
| 2018 | IGARSS | A Doppler Centroid Estimator for Synthetic Aperture Radar Based on Phase Center Point Tracking. | Jingzeng Wang, Junjie Wu, Wei Pu, Wenchao Li, Jianyu Yang |
| 2017 | DAC | Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. | Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty |
| 2017 | ICASSP | A lattice method for resolving range ambiguity in dual-frequency RFID tag localisation. | Wenchao Li, Xuezhi Wang, Bill Moran |
| 2017 | IGARSS | A regularization imaging method for forward-looking scanning radar via joint L1-L2 norm constraint. | Ke Tan, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2017 | SmartComp | Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. | Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu |
| 2016 | ICASSP | A lattice algorithm for optimal phase unwrapping in noise. | Wenchao Li, Xuezhi Wang, Bill Moran |
| 2016 | ICCAD | Analysis of production data manipulation attacks in petroleum cyber-physical systems. | Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu |
| 2016 | IGARSS | Angular resolution enhancement of real-beam scanning radar base on accelerated iterative shinkage/thresholding algorithm. | Ke Tan, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2016 | IGARSS | Registration for SAR and optical images based on straight line features and mutual information. | Boli Xiong, Wenchao Li, Lingjun Zhao, Jun Lu, Xiaoqiang Zhang, Gangyao Kuang |
| 2016 | ICSR | Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. | Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schf, Pascal Schweitzer |
| 2015 | DAC | Design and verification for transportation system security. | Bowen Zheng, Wenchao Li, Peng Deng, Lonard Grard, Qi Zhu, Natarajan Shankar |
| 2015 | IGARSS | Nonuniform resampling for staggered SAR. | Mingzhu Sun, Qiang Wei, Yongjiang Yu, Zhe Liu, Wenchao Li |
| 2015 | IGARSS | Advantages and challenges of power spectral density estimation methods for scanning radar angular superresolution. | Yue Wang, Yongchao Zhang, Yulin Huang, Wenchao Li, Jianyu Yang, Haiguang Yang |
| 2015 | IGARSS | Scanning radar angular superresolution with fast standard Capon beamformer. | Yongchao Zhang, Yue Wang, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2015 | IGARSS | Data-aided signal-to-noise-ratio estimation for scanning radar angular superresolution based on iterative adaptive approach. | Yongchao Zhang, Yue Wang, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2015 | IGARSS | A two-step scheme of angular superresolution for real beam scanning radar. | Wenchao Li, Wen Jiang, Yulin Huang, Jianyu Yang |
| 2015 | IGARSS | Range migration correction of translational variant bistatic forward-looking SAR based on iterative keystone transformation. | Min Li, Wei Pu, Wenchao Li, Jianyu Yang, Yulin Huang, Haiguang Yang, Xiaobo Yang |
| 2015 | MEMOCODE | Design and verification of multi-rate distributed systems. | Wenchao Li, Lonard Grard, Natarajan Shankar |
| 2014 | IGARSS | Near-space slow-speed SAR large scene imaging algorithm based on two-step processing approach and stolt interpolation. | Qianghui Zhang, Wenchao Li, Zhongyu Li, Yulin Huang, Haiguang Yang, Jianyu Yang, Junjie Wu |
| 2014 | IGARSS | Generalized Omega-K algorithm for missile-borne SAR imaging with constant acceleration. | Qianghui Zhang, Junjie Wu, Zhongyu Li, Yulin Huang, Haiguang Yang, Jianyu Yang, Wenchao Li |
| 2014 | IGARSS | Divide and conquer: A fast matrix inverse method of iterative adaptive approach for real beam superresolution. | Yongchao Zhang, Yin Zhang, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2014 | IGARSS | Angular super-resolution algorithm based on maximum entropy for scanning radar imaging. | Jinchen Guan, Jianyu Yang, Yulin Huang, Wenchao Li |
| 2014 | TACAS | Synthesis for Human-in-the-Loop Control Systems. | Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia |
| 2013 | CAV | Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. | Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2013 | IGARSS | A first experiment of airborne bistatic forward-looking SAR - Preliminary results. | Jianyu Yang, Yulin Huang, Haiguang Yang, Junjie Wu, Wenchao Li, Zhongyu Li, Xiaobo Yang |
| 2013 | IGARSS | Variable-aperture-bp-based near space slow speed SAR imaging. | Jianyu Yang, Wenchao Li, Yulin Huang, Haiguang Yang, Ye Yuan, Leiquan Song |
| 2013 | IGARSS | Angular superresolution for real beam radar with iterative adaptive approach. | Yongchao Zhang, Yin Zhang, Wenchao Li, Yulin Huang, Jianyu Yang |
| 2013 | IGARSS | Radar angular superresolution algorithm based on Fourier-Wavelet regularized deconvolution. | Wen Jiang, Wenchao Li, Yulin Huang, Zhe Liu, Junjie Wu, Jianyu Yang |
| 2013 | IGARSS | Signal properties of tops-based near space slow-speed SAR. | Wenchao Li, Jianyu Yang, Yulin Huang, Haiguang Yang, Qianghui Zhang, Zhe Liu, Junjie Wu |
| 2012 | DAC | CrowdMine: towards crowdsourced human-assisted verification. | Wenchao Li, Sanjit A. Seshia, Somesh Jha |
| 2012 | FUSION | Sensor network localisation with wrapped phase measurements. | Wenchao Li, Xuezhi Wang, William Moran |
| 2012 | IGARSS | Imaging algorithm based on Least-Square NUFFT method for spaceborne/airborne squint mode bistatic SAR. | Zhe Liu, Jianyu Yang, Xiaoling Zhang, Huan Huang, Wenchao Li |
| 2012 | RV | Sparse Coding for Specification Mining and Error Localization. | Wenchao Li, Sanjit A. Seshia |
| 2011 | FUSION | Resolving RIPS measurement ambiguity in maximum likelihood estimation. | Wenchao Li, Xuezhi Wang, William Moran |
| 2011 | IGARSS | First result of bistatic forward-looking SAR with stationary transmitter. | Junjie Wu, Yulin Huang, Jianyu Yang, Wenchao Li, Haiguang Yang |
| 2011 | IGARSS | Comparison of geometry-based Doppler ambiguity resolver in squint SAR. | Wenchao Li, Yulin Huang, Jianyu Yang, Junjie Wu |
| 2011 | IGARSS | An indirect doppler rate estimation scheme of SAR in low-contrast scene. | Wenchao Li, Yulin Huang, Jianyu Yang, Junjie Wu |
| 2011 | MEMOCODE | Mining assumptions for synthesis. | Wenchao Li, Lili Dworkin, Sanjit A. Seshia |
| 2010 | DAC | Scalable specification mining for verification and diagnosis. | Wenchao Li, Alessandro Forin, Sanjit A. Seshia |
| 2009 | DATE | Design as you see FIT: System-level soft error analysis of sequential circuits. | Daniel E. Holcomb, Wenchao Li, Sanjit A. Seshia |
| 2009 | DATE | Optimizations of an application-level protocol for enhanced dependability in FlexRay. | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2008 | FMCAD | A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. | Orna Kupferman, Wenchao Li, Sanjit A. Seshia |
| 2007 | DATE | Verification-guided soft error resilience. | Sanjit A. Seshia, Wenchao Li, Subhasish Mitra |
| 2007 | BSN | Physical Activity Monitoring for Assisted Living at Home. | Roozbeh Jafari, Wenchao Li, Ruzena Bajcsy, Steven D. Glaser, Shankar Sastry |