Lei Qiao

According to our database1, Lei Qiao authored at least 105 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs.
IEEE Trans. Reliab., March, 2024

Dynamic sliding window-cooperative spectrum sensing against massive SSDF attack in interweave cognitive internet of things.
Trans. Emerg. Telecommun. Technol., March, 2024

2023
Analysis of the E-Region Low-Altitude Quasi-Periodic Event in Low-Latitudes of China.
Remote. Sens., December, 2023

Personal relative deprivation impairs the ability to inhibit impulsive responses: an exploratory ERP study.
Cogn. Process., November, 2023

Assessment of the performance of GPS-PWV and rainfall event prediction by using precise products from different analysis centers.
Earth Sci. Informatics, September, 2023

SiamSampler: Video-Guided Sampling for Siamese Visual Tracking.
IEEE Trans. Circuits Syst. Video Technol., April, 2023

Joint DNN Partition and Resource Allocation Optimization for Energy-Constrained Hierarchical Edge-Cloud Systems.
IEEE Trans. Veh. Technol., March, 2023

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.
IEEE Trans. Reliab., March, 2023

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization.
ACM Trans. Softw. Eng. Methodol., January, 2023

Scheduling Parallel Real-Time Tasks on Virtual Processors.
IEEE Trans. Parallel Distributed Syst., 2023

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs.
J. Syst. Archit., 2023

2022
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios.
IEEE Trans. Software Eng., 2022

DPWord2Vec: Better Representation of Design Patterns in Semantics.
IEEE Trans. Software Eng., 2022

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.
IEEE Trans. Reliab., 2022

Event-Triggered Adaptive Formation Keeping and Interception Scheme for Autonomous Surface Vehicles Under Malicious Attacks.
IEEE Trans. Ind. Informatics, 2022

Horae: A Hybrid I/O Request Scheduling Technique for Near-Data Processing-Based SSD.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices.
IEEE Trans. Computers, 2022

Microfluidic Microwave Sensor Loaded with Star-Slotted Patch for Edible Oil Quality Inspection.
Sensors, 2022

Theory and Experiment Analysis on the Influence of Floods on a GNSS Pseudo-Range Multipath and CNR Signal Based on Two Cases Study in China.
Remote. Sens., 2022

E-Region Field-Aligned Irregularities in the Middle of a Solar Eclipse Observed by a Bistatic Radar.
Remote. Sens., 2022

CoDiscard: A revenue model based cross-layer cooperative discarding mechanism for flash memory devices.
J. Syst. Archit., 2022

Robust perfect equilibrium in large games.
J. Econ. Theory, 2022

Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism.
J. Circuits Syst. Comput., 2022

Automatically repairing tensor shape faults in deep learning programs.
Inf. Softw. Technol., 2022

Detecting Compiler Bugs Via a Deep Learning-Based Framework.
Int. J. Softw. Eng. Knowl. Eng., 2022

A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.
IEEE Access, 2022

Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVII, 2022

Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking.
Proceedings of the Computer Vision - ECCV 2022, 2022

Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Hierarchical memory-constrained operator scheduling of neural architecture search networks.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Unsupervised Learning of Accurate Siamese Tracking.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Terrain-assisted navigation of long-range AUV based on intelligent particle filter.
Proceedings of the 13th Asian Control Conference, 2022

2021
Memory State Verification Based on Inductive and Deductive Reasoning.
IEEE Trans. Reliab., 2021

A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks.
ACM Trans. Embed. Comput. Syst., 2021

Human Action Recognition Technology in Dance Video Image.
Sci. Program., 2021

Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling.
J. Syst. Archit., 2021

Verification of Real Time Operating System Exception Management Based on SPARCv8.
J. Comput. Sci. Technol., 2021

Raft with Out-of-Order Executions.
Int. J. Softw. Informatics, 2021

Higher Performance Visual Tracking with Dual-Modal Localization.
CoRR, 2021

STUaNet: Understanding Uncertainty in Spatiotemporal Collective Human Mobility.
Proceedings of the WWW '21: The Web Conference 2021, 2021

Sound and efficient concurrency bug prediction.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Virtually-Federated Scheduling of Parallel Real-Time Tasks.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph.
Proceedings of the Knowledge Science, Engineering and Management, 2021

Scale-Adaptive Pothole Detection and Tracking from 3-D Road Point Clouds.
Proceedings of the IEEE International Conference on Imaging Systems and Techniques, 2021

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

ORBBuf: A Robust Buffering Method for Remote Visual SLAM.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Hybrid Algorithm for Multi-beam Synthesis Based on Time Modulated Antenna Array.
Proceedings of the IEEE International Conference on Signal Processing, 2021

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Deep Feature Learning to Quantitative Prediction of Software Defects.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Control Strategies for Target-Attacker-Defender Games of USVs.
Proceedings of the 6th International Conference on Automation, 2021

State-of-Health Estimation of Satellite Lithium-Ion Batteries Using Improved Particle Filtering.
Proceedings of the CAA Symposium on Fault Detection, 2021

Small Signal Voltage-frequency Conversion Processing Method for SF6 Sensor.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020
Construction of Virtual Reality-Interactive Classroom Based on Deep Learning Algorithm.
Wirel. Commun. Mob. Comput., 2020

Trajectory Tracking Control of AUVs via Adaptive Fast Nonsingular Integral Terminal Sliding Mode Control.
IEEE Trans. Ind. Informatics, 2020

Formalizing SPARCv8 instruction set architecture in Coq.
Sci. Comput. Program., 2020

Flexible adjustment of the effective connectivity between the fronto-parietal and visual regions supports cognitive flexibility.
NeuroImage, 2020

Ultrasound-Guided Central Venous Catheters in Elderly Patients with Cardiopulmonary Resuscitation.
J. Medical Imaging Health Informatics, 2020

Modeling large societies: Why countable additivity is necessary.
J. Econ. Theory, 2020

Modular Verification of SPARCv8 Code.
J. Comput. Sci. Technol., 2020

Deep learning based software defect prediction.
Neurocomputing, 2020

Adaptive output-feedback formation control for underactuated surface vessels.
Int. J. Control, 2020

Learning Collision-Free Space Detection from Stereo Images: Homography Matrix Brings Better Data Augmentation.
CoRR, 2020

ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM.
CoRR, 2020

Simulation of Passenger Behavior in Virtual Subway Station Based on Multi-Agent.
Proceedings of the Data Science, 2020

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

Pipe Stress Optimization Analysis Based on MIGA Algorithm.
Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020

2019
Equilibrium refinements in games with many players.
CoRR, 2019

OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling.
CoRR, 2019

A student's performance prediction method based on neural collaborative filtering.
Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

Automated Constmction of Course Knowledge Graph Based on China MOOC Platform.
Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

A Verified Specification of TLSF Memory Management Allocator Using State Monads.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Autonomous UAV Landing System Based on Visual Navigation.
Proceedings of the 2019 IEEE International Conference on Imaging Systems and Techniques, 2019

PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation.
Proceedings of the 2019 IEEE International Conference on Imaging Systems and Techniques, 2019

A User Attribute Recommendation Algorithm and Peer3D Technology based WebVR P2P Transmission Scheme.
Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Energy-Efficient Task Scheduling for Heterogeneous Cloud Computing Systems.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid.
Wirel. Commun. Mob. Comput., 2018

Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing.
Sci. Program., 2018

Dynamic directed random matching.
J. Econ. Theory, 2018

Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications.
Appl. Math. Lett., 2018

Fast, High-radix Silicon Photonic Switches.
Proceedings of the Optical Fiber Communications Conference and Exposition, 2018

Formal Verification of GP Specification based Embedded Operating System.
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017
Hainan Coherent Scatter Phased Array Radar (HCOPAR): System Design and Ionospheric Irregularity Observations.
IEEE Trans. Geosci. Remote. Sens., 2017

Design and Application of the Distributed Ionospheric Coherent Scatter Radar.
IEEE Geosci. Remote. Sens. Lett., 2017

Comparison of the Traditional Ionosonde and the Digital Ionosonde Based on Direct Digitization.
IEEE Geosci. Remote. Sens. Lett., 2017

MLP-based adaptive neural control of nonlinear time-delay systems with the unknown hysteresis.
Int. J. Syst. Sci., 2017

Solutions of the Dirichlet-Sch problem and asymptotic properties of solutions for the Schrödinger equation.
Appl. Math. Lett., 2017

Weak solutions for the stationary Schrödinger equation and its application.
Appl. Math. Lett., 2017

2016
层次结构的进程网 (Hierarchy Structure of Process Net).
计算机科学, 2016

On the closed-graph property of the Nash equilibrium correspondence in a large game: A complete characterization.
Games Econ. Behav., 2016

Content-related energy efficiency analysis in cache-enabled device-to-device network.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

16×16 Non-blocking silicon electro-optic switch based on Mach-Zehnder interferometers.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016

2015
Intercomparison of Precipitation Estimates From WSR-88D Radar and TRMM Measurement Over Continental United States.
IEEE Trans. Geosci. Remote. Sens., 2015

2014
On the space of players in idealized limit games.
J. Econ. Theory, 2014

The sensitivity and significance analysis of parameters in the model of pH regulation on lactic acid production by Lactobacillus bulgaricus.
BMC Bioinform., 2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.
Proceedings of the FM 2014: Formal Methods, 2014

2013
A Simulation of Synthetic <i>agr</i> System in <i>E.coli</i>.
Proceedings of the Bioinformatics Research and Applications, 9th International Symposium, 2013

2012
A risk index model for multi-period uncertain portfolio selection.
Inf. Sci., 2012

2011
An Embedded Operating System Design for the Lunar Exploration Rover.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2007
A New Approach to Outlier Detection.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007


  Loading...