Pengfei Gao

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 59

Top Topics

Formal Verification

Randomly Selected

Electrical Power

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Pengfei Gao, Fu Song, Taolue Chen
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Lihong Peng, Pengfei Gao, Wei Xiong, Zejun Li, Xing Chen
Identifying potential ligand-receptor interactions based on gradient boosted neural network and interpretable boosting machine for intercellular communication analysis. Comput. Biol. Medicine 171 (2024)
Liya Zhang, Pengfei Gao, Zhengzheng Gan, Wenhao Wu, Yafeng Sun, Chuanguang Zhu, Sichun Long, Maoqi Liu, Hui Peng
Surface Subsidence Monitoring of Mining Areas in Hunan Province Based on Sentinel-1A and DS-InSAR. Sensors 23 (19) (2023)
Pengfei Gao, Haonan Zhao, Zheng Luo, Yifan Lin, Wanjie Feng, Yaling Li, Fanjiang Kong, Xia Li, Chao Fang, Xutong Wang
SoyDNGP: a web-accessible deep learning framework for genomic prediction in soybean breeding. Briefings Bioinform. 24 (6) (2023)
Tao Cai, Pengfei Gao, Dejiao Niu, Yueming Ma, Tianle Lei, Jianfei Dai
NEHASH: high-concurrency extendible hashing for non-volatile memory. Frontiers Inf. Technol. Electron. Eng. 24 (5) (2023)
Pengfei Gao, Yuren Li, Wenli Yao, Xiancheng Zheng, Chenguang Zhang
Optimization of Hybrid Energy Storage System Sizing With Considering Energy Management Strategy for High-Power Pulsed Load in Aircraft. IEEE Trans. Veh. Technol. 72 (4) (2023)
Tiefeng Zhang, Mingjiu Pan, Pengfei Gao, Yongjie Ye
A Smart Grid Engineering Framework Based on the Information Evolution in Power Supply Enterprises. ISKE (2023)
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Pengfei Gao, Xinggang Yan, Yao Wang, Hongwei Li, Mei Zhan, Fei Ma, Mingwang Fu
An online intelligent method for roller path design in conventional spinning. J. Intell. Manuf. 34 (8) (2023)
Kaixuan Gao, Huiqiang Wang, Hongwu Lv, Pengfei Gao
A DL-Based High-Precision Positioning Method in Challenging Urban Scenarios for B5G CCUAVs. IEEE J. Sel. Areas Commun. 41 (6) (2023)
Kaixuan Gao, Huiqiang Wang, Hongwu Lv, Pengfei Gao
Your Locations May Be Lies: Selective-PRS-Spoofing Attacks and Defence on 5G NR Positioning Systems. INFOCOM (2023)
Pengfei Gao, Guisheng Liao, Jingwei Xu, Lan Lan
Phase response similarity based waveform design for FDA-MIMO radar. Signal Process. 210 (2023)
Pengfei Gao, Hao Geng, Lijian Yang, Yuming Su
Research on the Forward Solving Method of Defect Leakage Signal Based on the Non-Uniform Magnetic Charge Model. Sensors 23 (13) (2023)
Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR (2023)
Pengfei Gao, Xiaoying Tian, Yannan Shi
A Method for Researching the Influence of Relay Coil Location on the Transmission Efficiency of Wireless Power Transfer System. IEICE Trans. Electron. 106 (10) (2023)
Qi Yang, Xing Nie, Tong Li, Pengfei Gao, Ying Guo, Cheng Zhen, Pengfei Yan, Shiming Xiang
Cooperation Does Matter: Exploring Multi-Order Bilateral Relations for Audio-Visual Segmentation. CoRR (2023)
Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song, Min Yang
VenomAttack: automated and adaptive activity hijacking in Android. Frontiers Comput. Sci. 17 (1) (2023)
Pengfei Gao, Dedi Lai, Lijiao Zhao, Yue Liang, Yinglong Ma
A Three-phase Augmented Classifiers Chain Approach Based on Co-occurrence Analysis for Multi-Label Classification. CoRR (2022)
Tao Cai, Yueming Ma, Dejiao Niu, Pengfei Gao, Tianle Lei, Jianfei Dai
A New IoT Storage System Based on Raw NVM. Big Data (2022)
Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen
Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. 16 (3) (2022)
Pengfei Gao, Yinglong Ma
A Universality-Individuality Integration Model for Dialog Act Classification. CoRR (2022)
Yunxian Cui, Pengfei Gao, Wuchu Tang, Guowei Mo, Junwei Yin
Adaptive Thin Film Temperature Sensor for Bearing's Rolling Elements Temperature Measurement. Sensors 22 (8) (2022)
Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. 48 (3) (2022)
Jianshu Li, Man Luo, Jian Liu, Tao Chen, Chengjie Wang, Ziwei Liu, Shuo Liu, Kewei Yang, Xuning Shao, Kang Chen, Boyuan Liu, Mingyu Guo, Ying Guo, Yingying Ao, Pengfei Gao
Multi-Forgery Detection Challenge 2022: Push the Frontier of Unconstrained and Diverse Forgery Detection. CoRR (2022)
Pengfei Gao, Jingpeng Zhao, Yinglong Ma, Ahmad Tanvir, Beihong Jin
HFT-ONLSTM: Hierarchical and Fine-Tuning Multi-label Text Classification. CoRR (2022)
Tao Cai, Pengfei Gao, Fuli Chen, Dejiao Niu, Fei Wang, Yueming Ma, Lei Li
A Two Tier Hybrid Metadata Management Mechanism for NVM Storage System. NPC (2021)
Qian Li, Qingyuan Hu, Yong Qi, Saiyu Qi, Xinxing Liu, Pengfei Gao
Semi-supervised two-phase familial analysis of Android malware with normalized graph embedding. Knowl. Based Syst. 218 (2021)
Shuo Wang, Pengfei Gao, Hui Peng
Gastrointestinal Image Classification based on Convolutional Neural Network. ICBRA (2021)
Haodong Li, Guisheng Liao, Jingwei Xu, Cao Zeng, Xiongpeng He, Pengfei Gao
Multi-Resolution STAP for Enhanced Ultra-Low-Altitude Target Detection. Remote. Sens. 13 (21) (2021)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Lihong Peng, Ruya Yuan, Ling Shen, Pengfei Gao, Liqian Zhou
LPI-EnEDT: an ensemble framework with extra tree and decision tree classifiers for imbalanced lncRNA-protein interaction data classification. BioData Min. 14 (1) (2021)
Qiang Wu, Peng Zhi, Yongqiang Wei, Liang Zhang, Jianqing Wu, Qingguo Zhou, Qiang Zhou, Pengfei Gao
Communicate with Traffic Lights and Vehicles Based on Multi-Agent Reinforcement Learning. CSCWD (2021)
Jie Wu, Lizhong Bie, Weihao Kong, Pengfei Gao, Yanfeng Wang
Multi-Frequency Multi-Amplitude Superposition Modulation Method With Phase Shift Optimization for Single Inverter of Wireless Power Transfer System. IEEE Trans. Circuits Syst. I Regul. Pap. 68 (5) (2021)
Yuanhan Zhang, Zhenfei Yin, Jing Shao, Ziwei Liu, Shuo Yang, Yuanjun Xiong, Wei Xia, Yan Xu, Man Luo, Jian Liu, Jianshu Li, Zhijun Chen, Mingyu Guo, Hui Li, Junfu Liu, Pengfei Gao, Tianqi Hong, Hao Han, Shijie Liu, Xinhua Chen, Di Qiu, Cheng Zhen, Dashuang Liang, Yufeng Jin, Zhanlong Hao
CelebA-Spoof Challenge 2020 on Face Anti-Spoofing: Methods and Results. CoRR (2021)
Pengfei Gao
Formal Verification of Masking Countermeasures for Arithmetic Programs. ASE (2020)
Ziteng Wang, Pengfei Gao, Liang Ma, Wei Zhang
Effects of Font Size, Line Spacing, and Font Style on Legibility of Chinese Characters on Consumer-Based Virtual Reality Displays. HCI (48) (2020)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR (2020)
Yusheng Sun, Yuegong Li, Jie Wu, Pengfei Gao, Nan Jin, Kai Feng, Hengyi Zhang
Bidirectional Simultaneous Wireless Information and Power Transfer via Sharing Inductive Link and Single Switch in the Secondary Side. IEEE Access 8 (2020)
Pengfei Gao, Chao Liu, Hairong Dong, Wei Zheng
. ITSC (2020)
Yuanyuan Ji, Wei Zheng, Hairong Dong, Pengfei Gao
Train delays prediction based on feature selection and random forest. ITSC (2020)
Yakun Wang, Wei Zheng, Hairong Dong, Pengfei Gao
Factors correlation mining on railway accidents using association rule learning algorithm. ITSC (2020)
Pengfei Gao, Yuren Li, Xiancheng Zheng
Improved-Droop Control for Electrical Power System in More Electric Aircraft Integrated with Energy Storage System. IECON (2020)
Pengfei Gao, Xingquan Zuo, Qiang Bian, Xinchao Zhao
A memetic algorithm to optimize bus timetable with unequal time intervals. GECCO (Companion) (2019)
Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. CoRR (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) (2019)
Fu Yang, Xingcong Zhao, Wenge Jiang, Pengfei Gao, Guangyuan Liu
Multi-method Fusion of Cross-Subject Emotion Recognition Based on High-Dimensional EEG Features. Frontiers Comput. Neurosci. 13 (2019)
Xuqi Wang, Zijian Tian, Wenqing Wang, Fangyuan He, Liyong Zhao, Pengfei Gao
A Novel Algorithm for Barrier Coverage Based on Hybrid Wireless Sensor Nodes. IEEE Access 7 (2019)
Pengfei Gao, Zhengji Long, Zhangyan Xiao, Fu Yang, Jihai Zhang, Guangyuan Liu
Effects of Acute Moderate Intensity Exercise on Emotion Based on beta Power in EEG. CSAI (2019)
Pengfei Gao, Jun Zhang, Fu Song, Chao Wang
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR (2019)
Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) (2018)
Dapeng Fu, Zhourui Xia, Pengfei Gao, Haiqing Wang, Jianping Lin, Li Sun
ECG Delineation with Randomly Selected Wavelet Feature and Random Forest Classifier. IEICE Trans. Inf. Syst. (8) (2018)
Husan Ali, Huamei Liu, Xiancheng Zheng, Pengfei Gao, Haider Zaman
Frequency response based behavioral modeling verification for three phase AC-DC converter. IECON (2017)
Xingya Wang, Shujuan Jiang, Pengfei Gao, Xiaolin Ju, Rongcun Wang, Yanmei Zhang
Cost-effective testing based fault localization with distance based test-suite reduction. Sci. China Inf. Sci. 60 (9) (2017)
Dan Guo, Pengfei Gao
Complex-query web image search with concept-based relevance estimation. World Wide Web 19 (2) (2016)
Zhishuo Liu, Han Li, Pengfei Gao
Multi-facilities Location and Allocation Problem of Three-Echelon Supply Chain Based on an Improved Genetic Algorithm. ICEBE (2016)
Xingya Wang, Shujuan Jiang, Pengfei Gao, Xiaolin Ju, Rongcun Wang, Yanmei Zhang
Distance-Based Test-Suite Reduction for Efficient Testing-Based Fault Localization. SATE (2016)
Pengfei Gao, Jingwei Zhao, Guijin Wang, Hengkai Guo
Real time ECG characteristic point detection with randomly selected signal pair difference (RSSPD) feature and random forest classifier. EMBC (2016)
Lichan Meng, Pengfei Gao, Moosa Moghimi Haji, Wilsun Xu
Magnetic Sensor Array-Based AC Current Measurement for Multiconductor Cables Using Evolutionary Computation Method. IEEE Trans. Instrum. Meas. 64 (10) (2015)
Pengfei Gao, Shunfu Lin, Wilsun Xu
A Novel Current Sensor for Home Energy Use Monitoring. IEEE Trans. Smart Grid 5 (4) (2014)
Ahda Pionkoski Grilo, Pengfei Gao, Wilsun Xu, Madson C. de Almeida
Load Monitoring Using Distributed Voltage Sensors and Current Estimation Algorithms. IEEE Trans. Smart Grid 5 (4) (2014)