A Provably Correct Operating System: delta-Core. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)

The Minimal Model of Operating Systems. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)

Partitioning based operating system: a formal model. - Lei Luo 004; Ming-Yuan Zhu (ACM SIGOPS Oper. Syst. Rev., 2003)

A formal semantic definition of DEVIL. - Lei Luo 004; Ming-Yuan Zhu; Qing-Li Zhang (ACM SIGPLAN Notices, 2003)

QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals. - Yun Li; Lei Luo 004 (ICESS, 2004)

UCaS: A Schedulability Analysis Tool for AADL Models. - Shenglin Gui; Lei Luo 004; Qian Liu; Fulei Guo; Shaopeng Lu (EUC (2), 2008)

Formal Schedulability Analysis and Simulation for AADL. - Shenglin Gui; Lei Luo 004; Yun Li; Lijie Wang (ICESS, 2008)

Dependability Analysis for AADL Models by PVS. - Geng Chen; Lei Luo 004; Rong Gong; Shenglin Gui (DASC, 2009)

Decompression Method for Massive Compressed Files in Mobile Rich Media Applications. - Houchen Li; Zhijie Qiu; Lei Luo 004 (CIT, 2010)

Research on Mobile Web Applications End to End Technology. - Siyu Mi; Zhijie Qiu; Lei Luo 004 (CIT, 2010)

Component-based Mobile Web Application of Cross-platform. - Biao Pan; Kun Xiao; Lei Luo 004 (CIT, 2010)

End-to-End Schedulability Analysis for Bi-directional Real-Time Multistage Pipeline. - Shenglin Gui; Lei Luo 004 (ISPA, 2011)

Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata. - Shenglin Gui; Lei Luo 004; Miao Yu; Jianhua Xu; Yun Li (ISPA, 2011)

A Precise Memory Model for Operating System Code Verification. - Geng Chen; Lei Luo 004; Lijie Wang (TrustCom, 2011)

Reliability Analysis of Task Model in Real-Time Fault-Tolerant Systems. - Shenglin Gui; Lei Luo 004 (CIT, 2012)

Research on Client/Server Communication Mechanism in AUTOSAR System. - Hao Chen; Lei Luo 004; Hua Yan; Geng Chen; Shenglin Gui (DASC, 2013)

A Novel Mobile Device NFC Stack Architecture. - Kun Xiao; Lei Luo 004 (DASC, 2013)

Reliability analysis of real-time fault-tolerant task models. - Shenglin Gui; Lei Luo 004 (Des. Autom. Embed. Syst., 2013)

嵌入式操作系统的形式化验证研究 (Research on Formal Verification of Embedded Operating System). - Lirong Chen; Yun Li; Lei Luo 004 (计算机科学, 2015)

A context-aware mobile web middleware for service of surveillance video with privacy. - Jie Shen 013; Ying-Jue Cai; Lei Luo 004 (Multim. Tools Appl., 2015)

A novel minimal exposure path problem in wireless sensor networks and its solution algorithm. - Hao Feng; Lei Luo 004; Yong Wang 031; Miao Ye; Rongsheng Dong (Int. J. Distributed Sens. Networks, 2016)

AUTOSAR可运行实体-任务自动映射方法研究 (Study on Automatic Method for AUTOSAR Runnable Entity-task Mapping). - Zheng Ran; Lei Luo 004; Hua Yan; Yun Li (计算机科学, 2018)

基于纳什均衡的AUTOSAR任务到多核ECU的映射方法 (Nash Equilibrium Based Method for Mapping AUTOSAR Tasks to Multicore ECU). - Zheng Ran; Lei Luo 004; Hua Yan; Yun Li (计算机科学, 2018)

安全虚拟机监视器的形式化验证研究 (Study on Formal Verification of Secure Virtual Machine Monitor). - Hao Chen; Lei Luo 004; Yun Li; Lirong Chen (计算机科学, 2019)

An intrusion detection system integrating network-level intrusion detection and host-level intrusion detection. - Jiannan Liu; Kun Xiao; Lei Luo 004; Yun Li; Lirong Chen (QRS, 2020)

A Data Protection-Oriented Design Procedure for a Federated Learning Framework. - Yue Yu; Ming Zeng; Zhijie Qiu; Lei Luo 004; Hong Chen 009 (WCSP, 2020)

A Complete Privacy-Preserving Credit Score System Using Blockchain and Zero Knowledge Proof. - Yuye Han; Hong Chen 009; Zhijie Qiu; Lei Luo 004; Gongbin Qian (IEEE BigData, 2021)

Capability-based Component Security Mechanism for Microkernel OS. - Jiajia Yi; Meng Li; Kun Xiao; Lirong Chen; Lei Luo 004; Rui Xu (DSC, 2022)

A Novel Framework For Malicious Encrypted Traffic Classification At Host Level And Flow Level. - Haitao Zhang; Lei Luo 004; Yun Li; Lirong Chen; Xiaobo Wu (DSC, 2022)

Research and Application of Intelligent Vehicle Cybersecurity Threat Model. - Haitao Zhang; Lei Luo 004; Ruikun Li 006; Jiajia Yi; Yun Li; Lirong Chen (DSC, 2022)

Generate qualified adversarial attacks and foster enhanced models based on generative adversarial networks. - Junpeng He; Lei Luo 004; Kun Xiao; Xiyu Fang; Yun Li (Intell. Data Anal., 2022)

A Federated Learning Scheme Based on Lightweight Differential Privacy. - Wenlong Song; Hong Chen 009; Zhijie Qiu; Lei Luo 004 (IEEE Big Data, 2023)

GAN-IVDS: An Intrusion Detection System for Intelligent Connected Vehicles Based on Generative Adversarial Networks. - Xiansen Chen; Kun Xiao; Lei Luo 004; Yun Li; Lirong Chen (DSC, 2023)

Efficient Lightweight Intrusion Detection Method for IoT OS: A Study on the Application of Multi-Teacher Distillation. - Pengyu Zhang; Kun Xiao; Lei Luo 004; Yun Li; Lirong Chen (DSC, 2023)

Particle Filter Localization Algorithm Based on LOS Possibility for Smart Vehicle Digital Key. - Zihan Zhou; Weivi Hu; Yiran Tian; Lei Luo 004; Yun Li; Lirong Chen (DSC, 2023)

Large Language Models in Data Governance: Multi-source Data Tables Merging. - Linfeng Li; Hong Chen 009; Zhijie Qiu; Lei Luo 004 (IEEE Big Data, 2024)