Hang Lei

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 56

Top Topics

Formal Verification

Top Venues

J. Circuits Syst. Comput.

Publications

Qi Wang, Hang Lei, Gun Li, Xupeng Wang, Lu Chen
A Novel Convolutional Neural Network for Head Detection and Pose Estimation in Complex Environments from Single-Depth Images. Cogn. Comput. 16 (4) (2024)
Zhenhao Li, Hang Lei, Zhichao Ma, Fengyun Zhang
Code Similarity Prediction Model for Industrial Management Features Based on Graph Neural Networks. Entropy 26 (6) (2024)
Melak Ayenew, Hang Lei, Xiaoyu Li, Weizhong Qian, Eyerusalem Abeje, Wenjia Xiang, Abebe Tegene
Enhancing the performance of permissionless blockchain networks through randomized message-based consensus algorithm. Peer Peer Netw. Appl. 16 (2) (2023)
Riran Cheng, Xupeng Wang, Ferdous Sohel, Hang Lei
Topology-aware universal adversarial attack on 3D object tracking. Vis. Intell. 1 (1) (2023)
Qi Wang, Hang Lei, Weizhong Qian
Point CNN:3D Face Recognition with Local Feature Descriptor and Feature Enhancement Mechanism. Sensors 23 (18) (2023)
Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng. 45 (2) (2023)
Ilyas Benkhaddra, Abhishek Kumar, Mohamed Ali Setitra, Zine El Abidine Bensalem, Hang Lei
Prevention of DDoS attacks using an optimized deep learning approach in blockchain technology. Trans. Emerg. Telecommun. Technol. 34 (4) (2023)
Ilyas Benkhaddra, Mohammed Raouf Senouci, Abdelkader Senouci, Camel Tanougast, Said Sadoudi, Hang Lei
An Efficient and Reliable Chaos-Based IoT Security Core for UDP/IP Wireless Communication. IEEE Access 10 (2022)
Lei Qiao, Maolin Yang, Zewei Chen, Yong Liao, Hang Lei, Nan Sang
Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism. J. Circuits Syst. Comput. 31 (8) (2022)
Jiayu Bai, Xiaoyu Li, Shijie Hu, Chenjing Su, Hang Lei, Weizhong Qian, Cong Zhang, Yutra Abel Zenebe
Single Platform Passive Location Algorithm Using Position Information and Azimuth. ICAIS (2) (2022)
Ilyas Benkhaddra, Mohammed Raouf Senouci, Sid Ali Madoune, Abdelkader Senouci, Camel Tanougast, Said Sadoudi, Hang Lei
High randomness hyperchaos-based parameterizable TRNG: Design, FPGA implementation and exhaustive security analysis. Displays 74 (2022)
Collins Sey, Hang Lei, Weizhong Qian, Xiaoyu Li, Linda Delali Fiasam, Seth Larweh Kodjiku, Isaac Adjei-Mensah, Isaac Osei Agyemang
VBlock: A Blockchain-Based Tamper-Proofing Data Protection Model for Internet of Vehicle Networks. Sensors 22 (20) (2022)
Samuel Kofi Akpatsa, Xiaoyu Li, Hang Lei, Victor-Hillary Kofi Setornyo Obeng
Evaluating Public Sentiment of Covid-19 Vaccine Tweets Using Machine Learning Techniques. Informatica (Slovenia) 46 (1) (2022)
Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah, Nicodemus Songose Awarayi
Evaluation of RGB Quantization Schemes on Histogram-Based Content Based Image Retrieval. ICAIS (2) (2021)
Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah
Image Representation Using Stacked Colour Histogram. Algorithms 14 (8) (2021)
Yiming Huang, Hang Lei, Xiaoyu Li, Guowu Yang
Quantum maximum mean discrepancy GAN. Neurocomputing 454 (2021)
Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao
Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling. J. Syst. Archit. 117 (2021)
Yiou Lin, Hang Lei, Xiaoyu Li, Yu Deng
Research on Text Classification Modeling Strategy Based on Pre-trained Language Model. IntelliSys (1) (2021)
Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao
A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks. DAC (2021)
Yu Deng, Hang Lei, Xiaoyu Li, Yiou Lin, Wangchi Cheng, Shan Yang
Attention Capsule Network for Aspect-Level Sentiment Classification. KSII Trans. Internet Inf. Syst. 15 (4) (2021)
Samuel Kofi Akpatsa, Xiaoyu Li, Hang Lei
A Survey and Future Perspectives of Hybrid Deep Learning Models for Text Classification. ICAIS (1) (2021)
Xupeng Wang, Mohammed Bennamoun, Ferdous Sohel, Hang Lei
Diffusion Geometry Derived Keypoints and Local Descriptors for 3D Deformable Shape Analysis. J. Circuits Syst. Comput. 30 (1) (2021)
Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah
Effective Image Representation using Double Colour Histograms for Content-Based Image Retrieval. Informatica (Slovenia) 45 (7) (2021)
Zewei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq. CSAE (2020)
Ezekiel Mensah Martey, Xiaoyu Li, Hang Lei, Obed Appiah, Ninfaakanga Christopher Bombie
Improving Performance of Colour-Histogram-Based CBIR Using Bin Matching for Similarity Measure. ICAIS (1) (2020)
Yiou Lin, Hang Lei, Yu Deng
Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China. CoRR (2020)
Maolin Yang, Ze-Wei Chen, Xu Jiang, Nan Guan, Hang Lei
DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks. DAC (2020)
Qi Wang, Hang Lei, Xiangtian Ma, Shihua Xiao, Xupeng Wang
CNN Network for Head Detection with Depth Images in cyber-physical systems. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2020)
Maolin Yang, Ze-Wei Chen, Xu Jiang, Nan Guan, Hang Lei
DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks. CoRR (2020)
Zheng Yang, Hang Lei, Weizhong Qian
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts. IEEE Access 8 (2020)
Haiyong Sun, Hang Lei
A Design and Verification Methodology for a TrustZone Trusted Execution Environment. IEEE Access 8 (2020)
Hang Lei, Yin Zhao, Longjun Cai
Multi-objective Optimization for Guaranteed Delivery in Video Service Platform. KDD (2020)
Haiyong Sun, Hang Lei
Formal verification of a task scheduler for embedded operating systems. J. Intell. Fuzzy Syst. 38 (2) (2020)
Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Jiali Yu
Improved Task and Resource Partitioning Under the Resource-Oriented Partitioned Scheduling. J. Comput. Sci. Technol. 34 (4) (2019)
Zheng Yang, Hang Lei
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq. IEEE Access 7 (2019)
Zheng Yang, Hang Lei, Weizong Qian
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts. CoRR (2019)
Keyi Xing, Feng Wang, MengChu Zhou, Hang Lei, Jianchao Luo
Deadlock characterization and control of flexible assembly systems with Petri nets. Autom. 87 (2018)
Zheng Yang, Hang Lei
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE Access 6 (2018)
Zheng Yang, Hang Lei
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems. CoRR (2018)
Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang
Formal Verification of GP Specification based Embedded Operating System. CSAE (2018)
Zheng Yang, Hang Lei
FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq. CoRR (2018)
Zheng Yang, Hang Lei
Formal Process Virtual Machine for Smart Contracts Verification. CoRR (2018)
Zheng Yang, Hang Lei
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. CoRR (2018)
Zheng Yang, Hang Lei
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. CoRR (2018)
Hang Lei, Keyi Xing, LiBin Han, Zhenxin Gao
Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets. Appl. Soft Comput. 55 (2017)
Hongcheng Liu, Hang Lei, Yunbo Rao
Optimization algorithm based on texture feature and frame correlation in HEVC. Multim. Tools Appl. 76 (2) (2017)
Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei
Discriminative feature learning and region consistency activation for robust scene labeling. Neurocomputing 243 (2017)
Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei
Scale space clustering evolution for salient region detection on 3D deformable shapes. Pattern Recognit. 71 (2017)
Xuan Han, Hang Lei, Yun-sheng Wang
Multiple paths test data generation based on particle swarm optimisation. IET Softw. 11 (2) (2017)
Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei
Persistence-based Interest Point Detection for 3D Deformable Surface. VISIGRAPP (1: GRAPP) (2017)
Yiou Lin, Hang Lei, Prince Clement Addo, Xiaoyu Li
Machine Learned Resume-Job Matching Solution. CoRR (2016)
Xianshu Ding, Hang Lei, Yunbo Rao
Sparse codes fusion for context enhancement of night video surveillance. Multim. Tools Appl. 75 (18) (2016)
Xia Yang, Zhiwei Liu, Hang Lei
基于TrustZone的指纹识别安全技术研究与实现 (Research and Implementation of Fingerprint Identification Security Technology Based on ARM TrustZone). 计算机科学 43 (7) (2016)
Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei
Heat propagation contours for 3D non-rigid shape analysis. WACV (2016)
Bokai Yang, Xiaoyu Li, Yiming Huang, Hang Lei
基于遗传算法的高考志愿填报排序问题的研究 (Application of Genetic Algorithm on Optimal Sequence of College Entrance Examination Voluntary Report). 计算机科学 43 (Z6) (2016)
Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei
Binary Descriptor Based on Heat Diffusion for Non-rigid Shape Analysis. PSIVT (2015)
Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei
Outdoor scene labelling with learned features and region consistency activation. ICIP (2015)
Yiou Lin, Hang Lei, Jia Wu, Xiaoyu Li
An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding. PACLIC (2015)
Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei
Heterogeneous Multi-column ConvNets with a Fusion Framework for Object Recognition. WACV (2015)
Jing Zhang, Hang Lei
Algorithm for computing transition probability between components in Internetware. J. Intell. Fuzzy Syst. 28 (4) (2015)
Yiou Lin, Hang Lei, Jia Wu, Xiaoyu Li
An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding. CoRR (2015)
Jing Zhang, Hang Lei
A pre-distribution algorithm of component reliability in Internetware system. Computing 97 (7) (2015)
Baolin Chen, Xiaoyu Li, Hang Lei, Hang Wang
Real-Time True-Color Synthesis of Remote Sensing Image with CUDA. CBD (2015)
Hongcheng Liu, Hang Lei, Yunbo Rao, Ping Chen, Jun Shao
A New Optimization Algorithm for HEVC. ICIG (1) (2015)
Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge
Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search. Comput. Ind. Eng. 72 (2014)
Fuli Xiong, Keyi Xing, Feng Wang, Hang Lei, LiBin Han
Minimizing the total completion time in a distributed two stage assembly system with setup times. Comput. Oper. Res. 47 (2014)
Xianshu Ding, Hang Lei, Yunbo Rao, Nan Sang
Local window K_means clustering and merging for color image segmentation. ICAILP (2014)
Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee
Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol. J. Comput. Sci. Technol. 29 (6) (2014)
Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee
PK-OMLP: An OMLP Based k-Exclusion Real-Time Locking Protocol for Multi-GPU Sharing under Partitioned Scheduling. DASC (2013)
Zhaohui Lin, Jason K. Levy, Hang Lei, Michelle L. Bell
Advances in Disaster Modeling, Simulation and Visualization for Sandstorm Risk Management in North China. Remote. Sens. 4 (5) (2012)
Zong Bo Hao, Nan Sang, Hang Lei
Cooperative Coverage by Multiple Robots with Contact Sensors. RAM (2008)
Jingyong Zeng, Hang Lei, Haibo Pu
Evaluating the Effectiveness of Random and Partition Testing by Delivered Reliability. ICESS (2008)