Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDWenchao 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.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j43]Hongbing Yang, Wenchao Li, Bin Wang:
Joint optimization of preventive maintenance and production scheduling for multi-state production systems based on reinforcement learning. Reliab. Eng. Syst. Saf. 214: 107713 (2021)- [j42]Wenchao Li
, Beth Jelfs, Allison Kealy, Xuezhi Wang, Bill Moran:
Cooperative Localization Using Distance Measurements for Mobile Nodes. Sensors 21(4): 1507 (2021) - [c83]Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. AAAI 2021: 7367-7376 - [i13]Jiameng Fan, Wenchao Li:
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. CoRR abs/2102.13268 (2021) - [i12]Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
Online Defense of Trojaned Models using Misattributions. CoRR abs/2103.15918 (2021) - [i11]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR abs/2106.13867 (2021) - [i10]Wenchao Li, Yun Wang, He Huang, Weiwei Cui, Haidong Zhang, Huamin Qu, Dongmei Zhang:
AniVis: Generating Animated Transitions Between Statistical Charts with a Tree Model. CoRR abs/2106.14313 (2021) - 2020
- [j41]Wenchao Li, Xin Liu, Chenggang Yan, Guiguang Ding, Yaoqi Sun, Jiyong Zhang:
STS: Spatial-Temporal-Semantic Personalized Location Recommendation. ISPRS Int. J. Geo Inf. 9(9): 538 (2020) - [j40]Wenchao Li, Junjie Chang, Wentao Li, Xiaoyun Long:
Variable Aperture Method of Ultrasonic Annular Array for the Detection of Addictive Manufacturing Titanium Alloy. J. Sensors 2020: 6622047:1-6622047:11 (2020) - [j39]Wenchao Li, Meihua Niu, Yongchao Zhang, Yulin Huang, Jianyu Yang:
Forward-Looking Scanning Radar Superresolution Imaging Based on Second-Order Accelerated Iterative Shrinkage-Thresholding Algorithm. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13: 620-631 (2020) - [j38]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3323-3335 (2020) - [j37]Qiping Zhang, Yin Zhang, Yulin Huang, Yongchao Zhang, Jifang Pei, Qingying Yi, Wenchao Li, Jianyu Yang:
TV-Sparse Super-Resolution Method for Radar Forward-Looking Imaging. IEEE Trans. Geosci. Remote. Sens. 58(9): 6534-6549 (2020) - [j36]Wenchao Li, Wentao Zhang, Qiping Zhang, Yin Zhang, Yulin Huang, Jianyu Yang:
Simultaneous Super-Resolution and Target Detection of Forward-Looking Scanning Radar via Low-Rank and Sparsity Constrained Method. IEEE Trans. Geosci. Remote. Sens. 58(10): 7085-7095 (2020) - [j35]Jiayi Sun, Liang Li, Wenchao Li, Jiyong Zhang, Chenggang Yan:
Enabling 5G: sentimental image dominant graph topic model for cross-modality topic detection. Wirel. Networks 26(3): 1549-1561 (2020) - [c82]Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - [c81]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC 2020: 1-6 - [c80]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC 2020: 1-6 - [c79]Kacper Wardega, Wenchao Li:
Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. DATE 2020: 222-227 - [c78]Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi:
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9 - [c77]Wenchao Li, Shirui Yang, Wentao Zhang, Yulin Huang, Jianyu Yang:
An Improved Target Extraction Scheme for Forward-Looking Scanning Radar. IGARSS 2020: 1793-1796 - [c76]Jianwen Yu, Wenchao Li, Zhongyu Li, Junjie Wu, Haiguang Yang, Jianyu Yang:
SAR Image Super-Resolution Base on Weighted Dense Connected Convolutional Network. IGARSS 2020: 2101-2104 - [c75]Tianfu Chen, Jiyu Zhang, Wenchao Li, Junjie Wu, Zhongyu Li, Yulin Huang, Jianyu Yang:
Efficient Time Domain Echo Simulation of Bistatic SAR Considering Topography Variation. IGARSS 2020: 2153-2156 - [c74]Qiping Zhang, Yin Zhang, Yongchao Zhang, Yulin Huang, Wenchao Li, Jianyu Yang:
Majorize-Minimization Based Super-Resolution Method for Radar Forward-Looking Imaging. IGARSS 2020: 3188-3191 - [c73]Qiping Zhang, Yongchao Zhang, Yin Zhang, Yulin Huang, Wenchao Li, Jianyu Yang:
Fast Total Variation Superresolution Method for Radar Forward-Looking Imaging. IGARSS 2020: 6571-6574 - [c72]Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. RV 2020: 131-150 - [c71]Wenchao Li, Yun Wang, Haidong Zhang, Huamin Qu:
Improving Engagement of Animated Visualization with Visual Foreshadowing. IEEE VIS (Short Papers) 2020: 141-145 - [i9]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR abs/2005.03726 (2020) - [i8]Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. CoRR abs/2008.06081 (2020) - [i7]Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. CoRR abs/2008.07667 (2020) - [i6]Wenchao Li, Yun Wang, Haidong Zhang, Huamin Qu:
Improving Engagement of Animated Visualization with Visual Foreshadowing. CoRR abs/2009.03784 (2020)
2010 – 2019
- 2019
- [j34]Qiang Wang, Wenchao Li, Zhiguang Qin:
Proxy Re-Encryption in Access Control Framework of Information-Centric Networks. IEEE Access 7: 48417-48429 (2019) - [j33]Qiping Zhang, Yin Zhang, Yulin Huang, Yongchao Zhang, Wenchao Li, Jianyu Yang:
Sparse With Fast MM Superresolution Algorithm for Radar Forward-Looking Imaging. IEEE Access 7: 105247-105257 (2019) - [j32]Yuanyuan Su, Wenchao Li, Ning Bi, Zhao Lv:
Adolescents Environmental Emotion Perception by Integrating EEG and Eye Movements. Frontiers Neurorobotics 13: 46 (2019) - [j31]Yaoqi Sun, Liang Li, Liang Zheng, Ji Hu, Wenchao Li, Yatong Jiang, Chenggang Yan:
Image classification base on PCA of multi-view deep representation. J. Vis. Commun. Image Represent. 62: 253-258 (2019) - [j30]Wenchao Li, Zhiquan Li, Jiahuan He, Liyang Chu:
Design and Performance of a Composite Grating-Coupled Surface Plasmon Resonance Trace Liquid Concentration Sensor. Sensors 19(24): 5502 (2019) - [j29]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 106:1-106:22 (2019) - [j28]Hu Xiong, Yi Wang, Wenchao Li, Chien-Ming Chen:
Flexible, Efficient, and Secure Access Delegation in Cloud Computing. ACM Trans. Manag. Inf. Syst. 10(1): 2:1-2:20 (2019) - [c70]Kacper Wardega, Roberto Tron, Wenchao Li:
Masquerade Attack Detection Through Observation Planning for Multi-Robot Systems. AAMAS 2019: 2262-2264 - [c69]Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek 2019: 51-59 - [c68]Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. HSCC 2019: 197-207 - [c67]Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu:
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8 - [c66]Wenchao Li, Wei Zhang, Jianming Zhang:
ICGNI: ICA-based Clustering with GBDT Network Inference Using Single-cell Expression Data. ICVISP 2019: 24:1-24:5 - [c65]Wenchao Li, Wentao Zhang, Qiping Zhang, Yin Zhang, Yulin Huang, Jianyu Yang:
Target Detection of Forward-Looking Scanning Radar Based On Low-Rank and Sparse Matrix Decomposition. IGARSS 2019: 1474-1477 - [c64]Wentao Zhang, Wenchao Li, Yongchao Zhang, Yin Zhang, Yulin Huang, Jianyu Yang:
Super-Resolution of Forward-Looking Scanning Radar Based on Low-Rank and Sparse Constraints. IGARSS 2019: 2758-2761 - [c63]Wenchao Li, Meihua Niu, Yongchao Zhang, Yulin Huang, Jianyu Yang:
Super-Resolution Imaging of Real-Beam Scanning Radar Base on Accelerated Maximum a Posteriori Algorithm. IGARSS 2019: 3173-3176 - [c62]Yi Li, Wenchao Li, Zhongyu Li, Junjie Wu, Yulin Huang, Jianyu Yang:
Frequency Reference Error Analysis for Bistatic SAR. IGARSS 2019: 3527-3530 - [c61]Qiping Zhang, Yin Zhang, Yongchao Zhang, Yulin Huang, Wenchao Li, Junjie Wu, Jianyu Yang:
Azimuth Superresolution of Forward-Looking Radar Imaging Based on Improved Total Variation. IGARSS 2019: 4276-4279 - [c60]Kacper Wardega, Roberto Tron, Wenchao Li:
Resilience of Multi-robot Systems to Physical Masquerade Attacks. IEEE Symposium on Security and Privacy Workshops 2019: 120-125 - [i5]Jiameng Fan, Wenchao Li:
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. CoRR abs/1903.02526 (2019) - [i4]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR abs/1903.06638 (2019) - [i3]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019) - 2018
- [j27]Wenchao Li, Jing Zhang:
Cluster-based resource allocation scheme with QoS guarantee in ultra-dense networks. IET Commun. 12(7): 861-867 (2018) - [j26]Hervé Panetto, Paulo Cézar Stadzisz, Wenchao Li, Qing-Shan Jia:
Guest Editorial: Special Issue on (Industrial) Internet-of-Things for Smart and Sensing Systems: Issues, Trends, and Applications. IEEE Internet Things J. 5(6): 4392-4395 (2018) - [j25]Ke Tan, Wenchao Li, Jifang Pei, Yulin Huang, Jianyu Yang:
An I/Q-Channel Modeling Maximum Likelihood Super-Resolution Imaging Method for Forward-Looking Scanning Radar. IEEE Geosci. Remote. Sens. Lett. 15(6): 863-867 (2018) - [j24]Ke Tan, Wenchao Li, Qian Zhang, Yulin Huang, Junjie Wu, Jianyu Yang:
Penalized Maximum Likelihood Angular Super-Resolution Method for Scanning Radar Forward-Looking Imaging. Sensors 18(3): 912 (2018) - [j23]Yongchao Zhang, Yin Zhang, Wenchao Li, Yulin Huang, Jianyu Yang:
Super-Resolution Surface Mapping for Scanning Radar: Inverse Filtering Based on the Fast Iterative Adaptive Approach. IEEE Trans. Geosci. Remote. Sens. 56(1): 127-144 (2018) - [j22]Wei Pu, Junjie Wu, Yulin Huang, Xiaodong Wang, Jianyu Yang, Wenchao Li, Haiguang Yang:
Nonsystematic Range Cell Migration Analysis and Autofocus Correction for Bistatic Forward-looking SAR. IEEE Trans. Geosci. Remote. Sens. 56(11): 6556-6570 (2018) - [c59]Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CAV (1) 2018: 662-680 - [c58]Wenchao Li, Xuezhi Wang, Bill Moran:
A Modified Signal Phase Unwrapping Algorithm for Range Estimation. ICASSP 2018: 3814-3818 - [c57]Ke Tan, Wenchao Li, Yongchao Zhang, Yulin Huang, Jianyu Yang, Xiaobo Yang:
Space Variant-Based Maximum a Posteriori Angular Super-Resolution Algorithm for Real-Beam Scanning Radar. IGARSS 2018: 585-588 - [c56]Jingzeng Wang, Junjie Wu, Wei Pu, Wenchao Li, Jianyu Yang:
A Doppler Centroid Estimator for Synthetic Aperture Radar Based on Phase Center Point Tracking. IGARSS 2018: 3679-3682 - [c55]Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, Wei Zou:
αDiff: cross-version binary code similarity detection with DNN. ASE 2018: 667-678 - 2017
- [j21]Wei Pu, Wenchao Li, Junjie Wu, Yulin Huang, Jianyu Yang, Haiguang Yang:
An Azimuth-Variant Autofocus Scheme of Bistatic Forward-Looking Synthetic Aperture Radar. IEEE Geosci. Remote. Sens. Lett. 14(5): 689-693 (2017) - [j20]Wenchao Li, Xuezhi Wang, Bill Moran:
Wireless Signal Travel Distance Estimation Using Non-Coprime Wavelengths. IEEE Signal Process. Lett. 24(1): 27-31 (2017) - [j19]Wei Pu, Junjie Wu, Yulin Huang, Ke Du, Wenchao Li, Jianyu Yang, Haiguang Yang:
A Rise-Dimensional Modeling and Estimation Method for Flight Trajectory Error in Bistatic Forward-Looking SAR. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 10(11): 5001-5015 (2017) - [j18]Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu:
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(9): 1421-1434 (2017) - [j17]Ruizhen Hu, Wenchao Li, Oliver van Kaick, Hui Huang, Melinos Averkiou, Daniel Cohen-Or, Hao (Richard) Zhang:
Co-Locating Style-Defining Elements on 3D Shapes. ACM Trans. Graph. 36(3): 33:1-33:15 (2017) - [j16]Ruizhen Hu, Wenchao Li, Oliver van Kaick, Ariel Shamir, Hao Zhang, Hui Huang:
Learning to predict part mobility from a single static snapshot. ACM Trans. Graph. 36(6): 227:1-227:13 (2017) - [c54]Wenchao Li, Boli Xiong, Gangyao Kuang:
Micro-Doppler parameter estimation based on improved time-frequency analysis. CISP-BMEI 2017: 1-4 - [c53]Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty:
Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC 2017: 13:1-13:6 - [c52]Wenchao Li, Xuezhi Wang, Bill Moran:
A lattice method for resolving range ambiguity in dual-frequency RFID tag localisation. ICASSP 2017: 3156-3160 - [c51]Ke Tan, Wenchao Li, Yulin Huang, Jianyu Yang:
A regularization imaging method for forward-looking scanning radar via joint L1-L2 norm constraint. IGARSS 2017: 2314-2317 - [c50]Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu:
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP 2017: 1-8 - [i2]Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CoRR abs/1710.07983 (2017) - 2016
- [j15]Wei Pu, Yulin Huang, Junjie Wu, Jianyu Yang, Wenchao Li:
A residual range cell migration correction algorithm for bistatic forward-looking SAR. EURASIP J. Adv. Signal Process. 2016: 110 (2016) - [j14]Yongchao Zhang, Yin Zhang, Yulin Huang, Wenchao Li, Jianyu Yang:
Angular Superresolution for Scanning Radar With Improved Regularized Iterative Adaptive Approach. IEEE Geosci. Remote. Sens. Lett. 13(6): 846-850 (2016) - [j13]Jiguo Yu, Wenchao Li, Xiuzhen Cheng, Mohammed Atiquzzaman, Hua Wang, Li Feng:
Connected dominating set construction in cognitive radio networks. Pers. Ubiquitous Comput. 20(5): 757-769 (2016) - [j12]Qianghui Zhang, Junjie Wu, Wenchao Li, Yulin Huang, Jianyu Yang, Haiguang Yang:
Near-Space TOPSAR Large-Scene Full-Aperture Imaging Scheme Based on Two-Step Processing. Sensors 16(8): 1177 (2016) - [j11]Wei Pu, Junjie Wu, Yulin Huang, Wenchao Li, Zhichao Sun, Jianyu Yang, Haiguang Yang:
Motion Errors and Compensation for Bistatic Forward-Looking SAR With Cubic-Order Processing. IEEE Trans. Geosci. Remote. Sens. 54(12): 6940-6957 (2016) - [c49]Wenchao Li, Xuezhi Wang, Bill Moran:
A lattice algorithm for optimal phase unwrapping in noise. ICASSP 2016: 2896-2900 - [c48]Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu:
Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD 2016: 108 - [c47]Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer:
Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR 2016: 315-330 - [c46]Ke Tan, Wenchao Li, Yulin Huang, Jianyu Yang:
Angular resolution enhancement of real-beam scanning radar base on accelerated iterative shinkage/thresholding algorithm. IGARSS 2016: 929-932 - [c45]Boli Xiong, Wenchao Li, Lingjun Zhao, Jun Lu, Xiaoqiang Zhang, Gangyao Kuang:
Registration for SAR and optical images based on straight line features and mutual information. IGARSS 2016: 2582-2585 - [c44]Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar:
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM 2016: 34-40 - [c43]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM 2016: 41-46 - 2015
- [j10]Yongchao Zhang, Wenchao Li, Yin Zhang, Yulin Huang, Jianyu Yang:
A Fast Iterative Adaptive Approach for Scanning Radar Angular Superresolution. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8(11): 5336-5345 (2015) - [c42]Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar:
Design and verification for transportation system security. DAC 2015: 96:1-96:6 - [c41]Yue Wang, Yongchao Zhang, Yulin Huang, Wenchao Li, Jianyu Yang, Haiguang Yang:
Advantages and challenges of power spectral density estimation methods for scanning radar angular superresolution. IGARSS 2015: 1925-1928 - [c40]Min Li, Wei Pu, Wenchao Li, Jianyu Yang, Yulin Huang, Haiguang Yang, Xiaobo Yang:
Range migration correction of translational variant bistatic forward-looking SAR based on iterative keystone transformation. IGARSS 2015: 2782-2784 - [c39]Yongchao Zhang, Yue Wang, Wenchao Li, Yulin Huang, Jianyu Yang:
Scanning radar angular superresolution with fast standard Capon beamformer. IGARSS 2015: 3111-3114 - [c38]Wenchao Li, Wen Jiang, Yulin Huang, Jianyu Yang:
A two-step scheme of angular superresolution for real beam scanning radar. IGARSS 2015: 3146-3148 - [c37]Yongchao Zhang, Yue Wang, Wenchao Li, Yulin Huang, Jianyu Yang:
Data-aided signal-to-noise-ratio estimation for scanning radar angular superresolution based on iterative adaptive approach. IGARSS 2015: 4400-4403 - [c36]Mingzhu Sun, Qiang Wei, Yongjiang Yu, Zhe Liu, Wenchao Li:
Nonuniform resampling for staggered SAR. IGARSS 2015: 4574-4577 - [c35]Jiguo Yu, Wenchao Li, Li Feng:
Connected Dominating Set Construction in Cognitive Radio Networks. IIKI 2015: 276-279 - [c34]Wenchao Li, Léonard Gérard, Natarajan Shankar:
Design and verification of multi-rate distributed systems. MEMOCODE 2015: 20-29 - [c33]Wenchao Li, Jiguo Yu, Dongxiao Yu, Baogui Huang:
Constructing Virtual Backbone with Bounded Diameters in Cognitive Radio Networks. WASA 2015: 809-819 - 2014
- [j9]Xiaogang Lin, Wenchao Li, Changbin Ye, Xiaozhu Liu, Hao Zhu, Wenbing Peng, Jie Rong:
Research on the Interaction between Tubeimoside 1 and HepG2 Cells Using the Microscopic Imaging and Fluorescent Spectra Method. Comput. Math. Methods Medicine 2014: 470452:1-470452:7 (2014) - [j8]Wenchao Li, Ping Yi, Yue Wu, Li Pan, Jianhua Li:
A New Intrusion Detection System Based on KNN Classification Algorithm in Wireless Sensor Network. J. Electr. Comput. Eng. 2014: 240217:1-240217:8 (2014) - [j7]Jinchen Guan, Jianyu Yang, Yulin Huang, Wenchao Li:
Maximum a posteriori-based angular superresolution for scanning radar imaging. IEEE Trans. Aerosp. Electron. Syst. 50(3): 2389-2398 (2014) - [j6]Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik:
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2(1): 63-80 (2014) - [c32]Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia 2014 - [c31]Qianghui Zhang, Junjie Wu, Zhongyu Li, Yulin Huang, Haiguang Yang, Jianyu Yang, Wenchao Li:
Generalized Omega-K algorithm for missile-borne SAR imaging with constant acceleration. IGARSS 2014: 346-349 - [c30]Qianghui Zhang, Wenchao Li, Zhongyu Li, Yulin Huang, Haiguang Yang, Jianyu Yang, Junjie Wu:
Near-space slow-speed SAR large scene imaging algorithm based on two-step processing approach and stolt interpolation. IGARSS 2014: 494-496 - [c29]Yongchao Zhang, Yin Zhang, Wenchao Li, Yulin Huang, Jianyu Yang:
Divide and conquer: A fast matrix inverse method of iterative adaptive approach for real beam superresolution. IGARSS 2014: 698-701 - [c28]Jinchen Guan, Jianyu Yang, Yulin Huang, Wenchao Li:
Angular super-resolution algorithm based on maximum entropy for scanning radar imaging. IGARSS 2014: 3057-3060 - [c27]Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia:
Synthesis for Human-in-the-Loop Control Systems. TACAS 2014: 470-484 - [i1]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
Automatically Extracting Requirements Specifications from Natural Language. CoRR abs/1403.3142 (2014) - 2013
- [b1]Wenchao Li:
Specification Mining: New Formalisms, Algorithms and Applications. University of California, Berkeley, USA, 2013 - [j5]Zhongyu Li, Junjie Wu, Wenchao Li, Yulin Huang, Jianyu Yang:
One-Stationary Bistatic Side-Looking SAR Imaging Algorithm Based on Extended Keystone Transforms and Nonlinear Chirp Scaling. IEEE Geosci. Remote. Sens. Lett. 10(2): 211-215 (2013) - [j4]Wenchao Li, Xuezhi Wang, Xinmin Wang, William Moran:
Distance Estimation Using Wrapped Phase Measurements in Noise. IEEE Trans. Signal Process. 61(7): 1676-1688 (2013) - [c26]Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV 2013: 527-542 - [c25]Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia:
WordRev: Finding word-level structures in a sea of bit-level gates. HOST 2013: 67-74 - [c24]Quansheng Duan, Lijuan Wang, Yong Yan, Shengjian Jiang, Jiaping Bi, Wenchao Li, Haiwen Du, Limin Yang, Shuai Zhang, Qiusheng Gao:
Real-time apparent density measurement of the working fluid in outlet pipes of a steam-injection boiler. I2MTC 2013: 1844-1847 - [c23]Wenchao Li, Xuezhi Wang, Zengfu Wang, Bill Moran:
Efficient localisation of sensor networks with noisy distance measurements. ICIA 2013: 109-114 - [c22]Jianyu Yang, Wenchao Li, Yulin Huang, Haiguang Yang, Ye Yuan, Leiquan Song:
Variable-aperture-bp-based near space slow speed SAR imaging. IGARSS 2013: 942-944 - [c21]Wenchao Li, Jianyu Yang, Yulin Huang, Haiguang Yang, Qianghui Zhang, Zhe Liu, Junjie Wu:
Signal properties of tops-based near space slow-speed SAR. IGARSS 2013: 1333-1335 - [c20]Wen Jiang, Wenchao Li, Yulin Huang, Zhe Liu, Junjie Wu, Jianyu Yang:
Radar angular superresolution algorithm based on Fourier-Wavelet regularized deconvolution. IGARSS 2013: 1669-1672 - [c19]Yongchao Zhang, Yin Zhang, Wenchao Li, Yulin Huang, Jianyu Yang:
Angular superresolution for real beam radar with iterative adaptive approach. IGARSS 2013: 3100-3103 - [c18]