Lei Luo

36 papers B 3C 10Journal 12Unranked 11
YearRankTypeTitle / Venue / Authors
2024 B conf
Large Language Models in Data Governance: Multi-source Data Tables Merging.
IEEE Big Data
Linfeng Li, Hong Chen, Zhijie Qiu, Lei Luo
2023 B conf
A Federated Learning Scheme Based on Lightweight Differential Privacy.
IEEE Big Data
Wenlong Song, Hong Chen, Zhijie Qiu, Lei Luo
2023 — conf
Efficient Lightweight Intrusion Detection Method for IoT OS: A Study on the Application of Multi-Teacher Distillation.
DSC
Pengyu Zhang, Kun Xiao, Lei Luo, Yun Li, Lirong Chen
2023 — conf
GAN-IVDS: An Intrusion Detection System for Intelligent Connected Vehicles Based on Generative Adversarial Networks.
DSC
Xiansen Chen, Kun Xiao, Lei Luo, Yun Li, Lirong Chen
2023 — conf
Particle Filter Localization Algorithm Based on LOS Possibility for Smart Vehicle Digital Key.
DSC
Zihan Zhou, Weivi Hu, Yiran Tian, Lei Luo, Yun Li, Lirong Chen
2022 — conf
A Novel Framework For Malicious Encrypted Traffic Classification At Host Level And Flow Level.
DSC
Haitao Zhang, Lei Luo, Yun Li, Lirong Chen, Xiaobo Wu
2022 — conf
Capability-based Component Security Mechanism for Microkernel OS.
DSC
Jiajia Yi, Meng Li, Kun Xiao, Lirong Chen, Lei Luo, Rui Xu
2022 J jnl
Generate qualified adversarial attacks and foster enhanced models based on generative adversarial networks.
Intell. Data Anal.
Junpeng He, Lei Luo, Kun Xiao, Xiyu Fang, Yun Li
2022 — conf
Research and Application of Intelligent Vehicle Cybersecurity Threat Model.
DSC
Haitao Zhang, Lei Luo, Ruikun Li, Jiajia Yi, Yun Li, Lirong Chen
2021 — conf
A Complete Privacy-Preserving Credit Score System Using Blockchain and Zero Knowledge Proof.
IEEE BigData
Yuye Han, Hong Chen, Zhijie Qiu, Lei Luo, Gongbin Qian
2020 — conf
A Data Protection-Oriented Design Procedure for a Federated Learning Framework.
WCSP
Yue Yu, Ming Zeng, Zhijie Qiu, Lei Luo, Hong Chen
2020 C conf
An intrusion detection system integrating network-level intrusion detection and host-level intrusion detection.
QRS
Jiannan Liu, Kun Xiao, Lei Luo, Yun Li, Lirong Chen
2019 J jnl
安全虚拟机监视器的形式化验证研究 (Study on Formal Verification of Secure Virtual Machine Monitor).
计算机科学
Hao Chen, Lei Luo, Yun Li, Lirong Chen
2018 J jnl
AUTOSAR可运行实体-任务自动映射方法研究 (Study on Automatic Method for AUTOSAR Runnable Entity-task Mapping).
计算机科学
Zheng Ran, Lei Luo, Hua Yan, Yun Li
2018 J jnl
基于纳什均衡的AUTOSAR任务到多核ECU的映射方法 (Nash Equilibrium Based Method for Mapping AUTOSAR Tasks to Multicore ECU).
计算机科学
Zheng Ran, Lei Luo, Hua Yan, Yun Li
2016 J jnl
A novel minimal exposure path problem in wireless sensor networks and its solution algorithm.
Int. J. Distributed Sens. Networks
Hao Feng, Lei Luo, Yong Wang, Miao Ye, Rongsheng Dong
2015 J jnl
A context-aware mobile web middleware for service of surveillance video with privacy.
Multim. Tools Appl.
Jie Shen, Ying-Jue Cai, Lei Luo
2015 J jnl
嵌入式操作系统的形式化验证研究 (Research on Formal Verification of Embedded Operating System).
计算机科学
Lirong Chen, Yun Li, Lei Luo
2013 C conf
A Novel Mobile Device NFC Stack Architecture.
DASC
Kun Xiao, Lei Luo
2013 J jnl
Reliability analysis of real-time fault-tolerant task models.
Des. Autom. Embed. Syst.
Shenglin Gui, Lei Luo
2013 C conf
Research on Client/Server Communication Mechanism in AUTOSAR System.
DASC
Hao Chen, Lei Luo, Hua Yan, Geng Chen, Shenglin Gui
2012 C conf
Reliability Analysis of Task Model in Real-Time Fault-Tolerant Systems.
CIT
Shenglin Gui, Lei Luo
2011 B conf
A Precise Memory Model for Operating System Code Verification.
TrustCom
Geng Chen, Lei Luo, Lijie Wang
2011 C conf
End-to-End Schedulability Analysis for Bi-directional Real-Time Multistage Pipeline.
ISPA
Shenglin Gui, Lei Luo
2011 C conf
Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata.
ISPA
Shenglin Gui, Lei Luo, Miao Yu, Jianhua Xu, Yun Li
2010 C conf
Component-based Mobile Web Application of Cross-platform.
CIT
Biao Pan, Kun Xiao, Lei Luo
2010 C conf
Decompression Method for Massive Compressed Files in Mobile Rich Media Applications.
CIT
Houchen Li, Zhijie Qiu, Lei Luo
2010 C conf
Research on Mobile Web Applications End to End Technology.
CIT
Siyu Mi, Zhijie Qiu, Lei Luo
2009 C conf
Dependability Analysis for AADL Models by PVS.
DASC
Geng Chen, Lei Luo, Rong Gong, Shenglin Gui
2008 — conf
Formal Schedulability Analysis and Simulation for AADL.
ICESS
Shenglin Gui, Lei Luo, Yun Li, Lijie Wang
2008 — conf
UCaS: A Schedulability Analysis Tool for AADL Models.
EUC (2)
Shenglin Gui, Lei Luo, Qian Liu, Fulei Guo, Shaopeng Lu
2004 — conf
QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals.
ICESS
Yun Li, Lei Luo
2003 J jnl
A formal semantic definition of DEVIL.
ACM SIGPLAN Notices
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang
2003 J jnl
Partitioning based operating system: a formal model.
ACM SIGOPS Oper. Syst. Rev.
Lei Luo, Ming-Yuan Zhu
2001 J jnl
A Provably Correct Operating System: delta-Core.
ACM SIGOPS Oper. Syst. Rev.
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
2001 J jnl
The Minimal Model of Operating Systems.
ACM SIGOPS Oper. Syst. Rev.
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong