Hang Lei

According to our database, Hang Lei authored at least 68 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Point CNN:3D Face Recognition with Local Feature Descriptor and Feature Enhancement Mechanism.

Qi Wang, Hang Lei, Weizhong Qian

Sensors, September, 2023

Prevention of DDoS attacks using an optimized deep learning approach in blockchain technology.

Ilyas Benkhaddra, Abhishek Kumar, Mohamed Ali Setitra, Zine El Abidine Bensalem, Hang Lei

Trans. Emerg. Telecommun. Technol., April, 2023

Enhancing the performance of permissionless blockchain networks through randomized message-based consensus algorithm.

Melak Ayenew, Hang Lei, Xiaoyu Li, Weizhong Qian, Eyerusalem Abeje, Wenjia Xiang, Abebe Tegene

Peer Peer Netw. Appl., March, 2023

Topology-aware universal adversarial attack on 3D object tracking.

Riran Cheng, Xupeng Wang, Ferdous Sohel, Hang Lei

Vis. Intell., 2023

Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.

Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng

Comput. Syst. Sci. Eng., 2023

2022

VBlock: A Blockchain-Based Tamper-Proofing Data Protection Model for Internet of Vehicle Networks.

Collins Sey, Hang Lei, Weizhong Qian, Xiaoyu Li, Linda Delali Fiasam, Seth Larweh Kodjiku, Isaac Adjei Mensah, Isaac Osei Agyemang

Sensors, 2022

Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism.

Lei Qiao, Maolin Yang, Zewei Chen, Yong Liao, Hang Lei, Nan Sang

J. Circuits Syst. Comput., 2022

Evaluating Public Sentiment of Covid-19 Vaccine Tweets Using Machine Learning Techniques.

Samuel Kofi Akpatsa, Xiaoyu Li, Hang Lei, Victor-Hillary Kofi Setornyo Obeng

Informatica (Slovenia), 2022

High randomness hyperchaos-based parameterizable TRNG: Design, FPGA implementation and exhaustive security analysis.

Ilyas Benkhaddra, Mohammed Raouf Senouci, Sid Ali Madoune, Abdelkader Senouci, Camel Tanougast, Said Sadoudi, Hang Lei

Displays, 2022

An Efficient and Reliable Chaos-Based IoT Security Core for UDP/IP Wireless Communication.

Ilyas Benkhaddra, Mohammed Raouf Senouci, Abdelkader Senouci, Camel Tanougast, Said Sadoudi, Hang Lei

IEEE Access, 2022

Single Platform Passive Location Algorithm Using Position Information and Azimuth.

Jiayu Bai, Xiaoyu Li, Shijie Hu, Chenjing Su, Hang Lei, Weizhong Qian, Cong Zhang, Yutra Abel Zenebe

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

2021

A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks.

Zewei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao

ACM Trans. Embed. Comput. Syst., 2021

Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling.

Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao

J. Syst. Archit., 2021

Diffusion Geometry Derived Keypoints and Local Descriptors for 3D Deformable Shape Analysis.

Xupeng Wang, Mohammed Bennamoun, Ferdous Sohel, Hang Lei

J. Circuits Syst. Comput., 2021

Attention Capsule Network for Aspect-Level Sentiment Classification.

Yu Deng, Hang Lei, Xiaoyu Li, Yiou Lin, Wangchi Cheng, Shan Yang

KSII Trans. Internet Inf. Syst., 2021

Effective Image Representation using Double Colour Histograms for Content-Based Image Retrieval.

Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah

Informatica (Slovenia), 2021

Quantum maximum mean discrepancy GAN.

Yiming Huang, Hang Lei, Xiaoyu Li, Guowu Yang

Neurocomputing, 2021

Image Representation Using Stacked Colour Histogram.

Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah

Algorithms, 2021

Research on Text Classification Modeling Strategy Based on Pre-trained Language Model.

Yiou Lin, Hang Lei, Xiaoyu Li, Yu Deng

Proceedings of the Intelligent Systems and Applications, 2021

Evaluation of RGB Quantization Schemes on Histogram-Based Content Based Image Retrieval.

Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah, Nicodemus Songose Awarayi

Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

A Survey and Future Perspectives of Hybrid Deep Learning Models for Text Classification.

Samuel Kofi Akpatsa, Xiaoyu Li, Hang Lei

Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks.

Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Formal verification of a task scheduler for embedded operating systems.

Haiyong Sun, Hang Lei

J. Intell. Fuzzy Syst., 2020

Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China.

Yiou Lin, Hang Lei, Yu Deng

CoRR, 2020

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.

Zheng Yang, Hang Lei, Weizhong Qian

IEEE Access, 2020

A Design and Verification Methodology for a TrustZone Trusted Execution Environment.

Haiyong Sun, Hang Lei

IEEE Access, 2020

Multi-objective Optimization for Guaranteed Delivery in Video Service Platform.

Hang Lei, Yin Zhao, Longjun Cai

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

CNN Network for Head Detection with Depth Images in cyber-physical systems.

Qi Wang, Hang Lei, Xiangtian Ma, Shihua Xiao, Xupeng Wang

Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020

Improving Performance of Colour-Histogram-Based CBIR Using Bin Matching for Similarity Measure.

Ezekiel Mensah Martey, Xiaoyu Li, Hang Lei, Obed Appiah, Ninfaakanga Christopher Bombie

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks.

Maolin Yang, Ze-Wei Chen, Xu Jiang, Nan Guan, Hang Lei

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.

Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng

Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

2019

Improved Task and Resource Partitioning Under the Resource-Oriented Partitioned Scheduling.

Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Jiali Yu

J. Comput. Sci. Technol., 2019

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.

Zheng Yang, Hang Lei, Weizong Qian

CoRR, 2019

FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.

Zheng Yang, Hang Lei

IEEE Access, 2019

2018

Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems.

Zheng Yang, Hang Lei

CoRR, 2018

Formal Process Virtual Machine for Smart Contracts Verification.

Zheng Yang, Hang Lei

CoRR, 2018

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language.

Zheng Yang, Hang Lei

CoRR, 2018

A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability.

Zheng Yang, Hang Lei

CoRR, 2018

Deadlock characterization and control of flexible assembly systems with Petri nets.

Keyi Xing, Feng Wang, MengChu Zhou, Hang Lei, Jianchao Luo

Autom., 2018

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.

Zheng Yang, Hang Lei

IEEE Access, 2018

Formal Verification of GP Specification based Embedded Operating System.

Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang

Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017

Scale space clustering evolution for salient region detection on 3D deformable shapes.

Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei

Pattern Recognit., 2017

Optimization algorithm based on texture feature and frame correlation in HEVC.

Hongcheng Liu, Hang Lei, Yunbo Rao

Multim. Tools Appl., 2017

Discriminative feature learning and region consistency activation for robust scene labeling.

Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei

Neurocomputing, 2017

Multiple paths test data generation based on particle swarm optimisation.

Xuan Han, Hang Lei, Yun-sheng Wang

IET Softw., 2017

Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets.

Hang Lei, Keyi Xing, LiBin Han, Zhenxin Gao

Appl. Soft Comput., 2017

Persistence-based Interest Point Detection for 3D Deformable Surface.

Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei

Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 1: GRAPP, Porto, Portugal, February 27, 2017

2016

Sparse codes fusion for context enhancement of night video surveillance.

Xianshu Ding, Hang Lei, Yunbo Rao

Multim. Tools Appl., 2016

基于TrustZone的指纹识别安全技术研究与实现 (Research and Implementation of Fingerprint Identification Security Technology Based on ARM TrustZone).

Xia Yang, Zhiwei Liu, Hang Lei

计算机科学, 2016

基于遗传算法的高考志愿填报排序问题的研究 (Application of Genetic Algorithm on Optimal Sequence of College Entrance Examination Voluntary Report).

Bokai Yang, Xiaoyu Li, Yiming Huang, Hang Lei

计算机科学, 2016

Machine Learned Resume-Job Matching Solution.

Yiou Lin, Hang Lei, Prince Clement Addo, Xiaoyu Li

CoRR, 2016

Heat propagation contours for 3D non-rigid shape analysis.

Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei

Proceedings of the 2016 IEEE Winter Conference on Applications of Computer Vision, 2016

2015

Algorithm for computing transition probability between components in Internetware.

Jing Zhang, Hang Lei

J. Intell. Fuzzy Syst., 2015

A pre-distribution algorithm of component reliability in Internetware system.

Jing Zhang, Hang Lei

Computing, 2015

Heterogeneous Multi-column ConvNets with a Fusion Framework for Object Recognition.

Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei

Proceedings of the 2015 IEEE Winter Conference on Applications of Computer Vision, 2015

Binary Descriptor Based on Heat Diffusion for Non-rigid Shape Analysis.

Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei

Proceedings of the Image and Video Technology - 7th Pacific-Rim Symposium, 2015

An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding.

Yiou Lin, Hang Lei, Jia Wu, Xiaoyu Li

Proceedings of the 29th Pacific Asia Conference on Language, Information and Computation, 2015

Outdoor scene labelling with learned features and region consistency activation.

Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei

Proceedings of the 2015 IEEE International Conference on Image Processing, 2015

A New Optimization Algorithm for HEVC.

Hongcheng Liu, Hang Lei, Yunbo Rao, Ping Chen, Jun Shao

Proceedings of the Image and Graphics - 8th International Conference, 2015

Real-Time True-Color Synthesis of Remote Sensing Image with CUDA.

Baolin Chen, Xiaoyu Li, Hang Lei, Hang Wang

Proceedings of the Third International Conference on Advanced Cloud and Big Data, 2015

2014

Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol.

Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee

J. Comput. Sci. Technol., 2014

Minimizing the total completion time in a distributed two stage assembly system with setup times.

Fuli Xiong, Keyi Xing, Feng Wang, Hang Lei, LiBin Han

Comput. Oper. Res., 2014

Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search.

Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge

Comput. Ind. Eng., 2014

Local window K_means clustering and merging for color image segmentation.

Xianshu Ding, Hang Lei, Yunbo Rao, Nan Sang

Proceedings of the International Conference on Audio, 2014

2013

PK-OMLP: An OMLP Based k-Exclusion Real-Time Locking Protocol for Multi-GPU Sharing under Partitioned Scheduling.

Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee

Proceedings of the IEEE 11th International Conference on Dependable, 2013

2012

Advances in Disaster Modeling, Simulation and Visualization for Sandstorm Risk Management in North China.

Zhaohui Lin, Jason K. Levy, Hang Lei, Michelle L. Bell

Remote. Sens., 2012

2008

Cooperative Coverage by Multiple Robots with Contact Sensors.

Zong Bo Hao, Nan Sang, Hang Lei

Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Evaluating the Effectiveness of Random and Partition Testing by Delivered Reliability.

Jingyong Zeng, Hang Lei, Haibo Pu

Proceedings of the International Conference on Embedded Software and Systems, 2008