Pengfei Gao

Orcid: 0000-0003-0286-5553

According to our database1, Pengfei Gao authored at least 66 papers between 2014 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Python toolkit for integrating geographic information system into regulatory dispersion models for refined pollution modeling.
Environ. Model. Softw., 2025

2024
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.
ACM Trans. Softw. Eng. Methodol., March, 2024

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Draw an Audio: Leveraging Multi-Instruction for Video-to-Audio Synthesis.
CoRR, 2024

MarsCode Agent: AI-native Automated Bug Fixing.
CoRR, 2024

RepoMasterEval: Evaluating Code Completion via Real-World Repositories.
CoRR, 2024

Identifying potential ligand-receptor interactions based on gradient boosted neural network and interpretable boosting machine for intercellular communication analysis.
Comput. Biol. Medicine, 2024

RBF-ARX Model-Based Robust Predictive Control Strategy With One Degree-of-Freedom.
IEEE Access, 2024

Cooperation Does Matter: Exploring Multi-Order Bilateral Relations for Audio-Visual Segmentation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

RBF-ARX model-based fast robust predictive control strategy.
Proceedings of the 2024 4th International Conference on Artificial Intelligence, 2024

2023
An online intelligent method for roller path design in conventional spinning.
J. Intell. Manuf., December, 2023

Surface Subsidence Monitoring of Mining Areas in Hunan Province Based on Sentinel-1A and DS-InSAR.
Sensors, October, 2023

Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.
Proc. ACM Program. Lang., October, 2023

A Method for Researching the Influence of Relay Coil Location on the Transmission Efficiency of Wireless Power Transfer System.
IEICE Trans. Electron., October, 2023

SoyDNGP: a web-accessible deep learning framework for genomic prediction in soybean breeding.
Briefings Bioinform., September, 2023

Research on the Forward Solving Method of Defect Leakage Signal Based on the Non-Uniform Magnetic Charge Model.
Sensors, July, 2023

A DL-Based High-Precision Positioning Method in Challenging Urban Scenarios for B5G CCUAVs.
IEEE J. Sel. Areas Commun., June, 2023

NEHASH: high-concurrency extendible hashing for non-volatile memory.
Frontiers Inf. Technol. Electron. Eng., May, 2023

Optimization of Hybrid Energy Storage System Sizing With Considering Energy Management Strategy for High-Power Pulsed Load in Aircraft.
IEEE Trans. Veh. Technol., April, 2023

Phase response similarity based waveform design for FDA-MIMO radar.
Signal Process., 2023

VenomAttack: automated and adaptive activity hijacking in Android.
Frontiers Comput. Sci., 2023

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits.
CoRR, 2023

A Smart Grid Engineering Framework Based on the Information Evolution in Power Supply Enterprises.
Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

Your Locations May Be Lies: Selective-PRS-Spoofing Attacks and Defence on 5G NR Positioning Systems.
Proceedings of the IEEE INFOCOM 2023, 2023

2022
Formal Verification of Masking Countermeasures for Arithmetic Programs.
IEEE Trans. Software Eng., 2022

Adaptive Thin Film Temperature Sensor for Bearing's Rolling Elements Temperature Measurement.
Sensors, 2022

Model-based automated testing of JavaScript Web applications via longer test sequences.
Frontiers Comput. Sci., 2022

Multi-Forgery Detection Challenge 2022: Push the Frontier of Unconstrained and Diverse Forgery Detection.
CoRR, 2022

HFT-ONLSTM: Hierarchical and Fine-Tuning Multi-label Text Classification.
CoRR, 2022

A Universality-Individuality Integration Model for Dialog Act Classification.
CoRR, 2022

A Three-phase Augmented Classifiers Chain Approach Based on Co-occurrence Analysis for Multi-Label Classification.
CoRR, 2022

A New IoT Storage System Based on Raw NVM.
Proceedings of the IEEE International Conference on Big Data, 2022

2021
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.
ACM Trans. Softw. Eng. Methodol., 2021

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., 2021

Multi-Resolution STAP for Enhanced Ultra-Low-Altitude Target Detection.
Remote. Sens., 2021

Semi-supervised two-phase familial analysis of Android malware with normalized graph embedding.
Knowl. Based Syst., 2021

CelebA-Spoof Challenge 2020 on Face Anti-Spoofing: Methods and Results.
CoRR, 2021

LPI-EnEDT: an ensemble framework with extra tree and decision tree classifiers for imbalanced lncRNA-protein interaction data classification.
BioData Min., 2021

A Two Tier Hybrid Metadata Management Mechanism for NVM Storage System.
Proceedings of the Network and Parallel Computing, 2021

Gastrointestinal Image Classification based on Convolutional Neural Network.
Proceedings of the ICBRA 2021: 2021 8th International Conference on Bioinformatics Research and Applications, Berlin Germany, September 11, 2021

Communicate with Traffic Lights and Vehicles Based on Multi-Agent Reinforcement Learning.
Proceedings of the 24th IEEE International Conference on Computer Supported Cooperative Work in Design, 2021

2020
Bidirectional Simultaneous Wireless Information and Power Transfer via Sharing Inductive Link and Single Switch in the Secondary Side.
IEEE Access, 2020

Formal Verification of Masking Countermeasures for Arithmetic Programs.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Factors correlation mining on railway accidents using association rule learning algorithm.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Train delays prediction based on feature selection and random forest.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A Dynamic Fault Tree Based CBTC Onboard ATP System Safety Analysis Method<sup>*</sup>.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Improved-Droop Control for Electrical Power System in More Electric Aircraft Integrated with Energy Storage System.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Effects of Font Size, Line Spacing, and Font Style on Legibility of Chinese Characters on Consumer-Based Virtual Reality Displays.
Proceedings of the HCI International 2020 - Late Breaking Posters, 2020

2019
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations.
ACM Trans. Softw. Eng. Methodol., 2019

Multi-method Fusion of Cross-Subject Emotion Recognition Based on High-Dimensional EEG Features.
Frontiers Comput. Neurosci., 2019

Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.
CoRR, 2019

A Novel Algorithm for Barrier Coverage Based on Hybrid Wireless Sensor Nodes.
IEEE Access, 2019

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A memetic algorithm to optimize bus timetable with unequal time intervals.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

Effects of Acute Moderate Intensity Exercise on Emotion Based on beta Power in EEG.
Proceedings of the CSAI 2019: 2019 3rd International Conference on Computer Science and Artificial Intelligence, 2019

2018
ECG Delineation with Randomly Selected Wavelet Feature and Random Forest Classifier.
IEICE Trans. Inf. Syst., 2018

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Cost-effective testing based fault localization with distance based test-suite reduction.
Sci. China Inf. Sci., 2017

Frequency response based behavioral modeling verification for three phase AC-DC converter.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016
Complex-query web image search with concept-based relevance estimation.
World Wide Web, 2016

Distance-Based Test-Suite Reduction for Efficient Testing-Based Fault Localization.
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

Multi-facilities Location and Allocation Problem of Three-Echelon Supply Chain Based on an Improved Genetic Algorithm.
Proceedings of the 13th IEEE International Conference on e-Business Engineering, 2016

Real time ECG characteristic point detection with randomly selected signal pair difference (RSSPD) feature and random forest classifier.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015
Magnetic Sensor Array-Based AC Current Measurement for Multiconductor Cables Using Evolutionary Computation Method.
IEEE Trans. Instrum. Meas., 2015

2014
Load Monitoring Using Distributed Voltage Sensors and Current Estimation Algorithms.
IEEE Trans. Smart Grid, 2014

A Novel Current Sensor for Home Energy Use Monitoring.
IEEE Trans. Smart Grid, 2014


  Loading...