兰雨晴｜北京航空航天大学｜学者主页

期刊论文

2026

操作系统形式规约与验证综述

王梓，王洪强，杨晓艺，兰雨晴

《计算机工程》

DOI

2026

Scheduler-Boundary Observability in Shared Quantum Clouds: Compilation- and Backend-Conditioned Diagnostics

Liya Jian, Yuqing Lan

Computation

DOI

2026

Enhanced Encrypted IoT Malicious Traffic Detection via Adaptive Fusion and Focal Loss: An Improved Heterogeneous Graph Approach

Mianzhang Luo, Xiaoyi Yang, Yuqing Lan

International Conference on Generative Artificial Intelligence and Information Security (GAIIS)

DOI

2025

广义多项式混沌框架下软件可靠性增长模型的数值解法

杨晓艺，兰雨晴，张越

《计算机科学与探索》

2025

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models

Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu, Yuqing Lan

PLoS ONE

DOI

2025

TLA2eBPF: Real-Time Protection for Kernel Memory Out-of-Bounds Security

Zi Wang, Yuqing Lan

International Conference on Computer Science, Electronic Information Engineering and Intelligent Control Technology (CEI)

DOI

2025

FT-Informer: A Frequency-Aware Hybrid Forecasting Model for Accurate Load Prediction in Cloud Computing Environments

Jiatai Zhang, Xu Lu, Qiming Zheng, Xiaoyi Yang, Yuqing Lan

DOI

2025

DimAug-TimesFM: Dimension Augmentation for Long-Term Cloud Demand Forecasting in Few-Shot Scenarios

Xiaoyi Yang, Qi-Ming Zheng, Xiaoyu Zhu, Mianzhang Luo, Zhe Hou, Jiatai Zhang, Yuqing Lan

Applied Sciences

DOI

2025

Fitness-Driven Evolutionary Federated Learning: Adaptive Client Selection and Dynamic Population for Communication Efficiency

Yi-Chun Yu, Yuqing Lan, Xiaoyi Yang, Zhihuan Xing, Han Zheng, Dan Yu

International Conference on Neural Information Processing

DOI

2024

BDEL: A Backdoor Attack Defense Method Based on Ensemble Learning

Zhihuan Xing, Yuqing Lan, Yin Yu, Yong Cao, Xiaoyi Yang, Yichun Yu, Dan Yu

Lecture notes in computer science

DOI

2024

IoT OS Platform: Software Infrastructure for Next-Gen Industrial IoT

Zhihuan Xing, Yuqing Lan, Zhong-Jie Sun, Xiaoyi Yang, Han Zheng, Yi-Chun Yu, Dan Yu

Applied Sciences

DOI

2024

M2M Device Redundant Backup System Based on ad Hoc Network System

Yi-Chun Yu, Xiaoyi Yang, Yuqing Lan, Zhihuan Xing, Dan Yu, Han Zheng, Danxin Wang

2024 IEEE 6th International Conference on Power, Intelligent Computing and Systems (ICPICS)

DOI

2024

Fedgac: optimizing generalization in personalized federated learning via adaptive initialization and strategic client selection

Yi-Chun Yu, Xiaoyi Yang, Zhe-Ping Chen, Yuqing Lan, Zhihuan Xing, Dan Yu

Cluster Computing

DOI

2024

A Formal Verification Approach for Linux Kernel Designing

Zi Wang, Yuqing Lan, Xinlei He, Jianghua Lv

Technologies

DOI

2022

An Intrusion Detection Algorithm for Resource-Constrained IoT

Zhongke Lu, Yuqing Lan, Jian-Hai Du, Yixuan Wang

International Conference on Communication, Computing & Security

DOI

2021

麒麟OS环境下基于Qt的驱动程序学习系统

王雪文，刘杰，兰雨晴

《计算机系统应用》

2013

基于SPICE协议的桌面虚拟化技术研究与改进方案

徐浩，兰雨晴

《计算机工程与科学》

2013

从Windows到Linux的应用移植实现平台技术与接口篇

兰雨晴

2012

云计算环境中虚拟机性能评测工具的研究与设计

冯运辉，兰雨晴

《网络空间安全》

2010

基础软件平台集成测试组合选择方法

高静，兰雨晴，金茂忠

《北京航空航天大学学报》

2010

系统虚拟化技术性能评测

兰雨晴，宋潇豫，马立克，徐舫

《电信科学》

2010

云计算环境中在线迁移技术研究

兰雨晴，申骞，刘铭

《电信科学》

2009

基础软件平台质量评估

兰雨晴，赵同，高静，接卉，金茂忠

《软件学报》

2009

使用贝叶斯网评估基础软件平台的互操作性

兰雨晴，赵同

《北京航空航天大学学报》

2009

一种基于运行时交互约束的COTS构件集成测试用例生成方法

高静，兰雨晴，金茂忠

《计算机科学》

2007

软件构件的可信保证研究

郭树行，兰雨晴，金茂忠

《计算机科学》

2007

一个基于XML的自动化类测试框架

高静，兰雨晴，金茂忠，郭树行

《网络安全与数据治理》

会议论文

2022

A Linux Security Mechanism for Multi-domain Isolation Environment

Yuqing Lan, Zeyi Wei

《第41届中国控制会议论文集（13）》

DOI

2008

基于动态分析构件接口交互约束建模

高静，兰雨晴，金茂忠，郭树行，李红娟，赵同

《第二十七届中国控制会议论文集》

兰雨晴

精选作品

期刊论文

操作系统形式规约与验证综述

Scheduler-Boundary Observability in Shared Quantum Clouds: Compilation- and Backend-Conditioned Diagnostics

Enhanced Encrypted IoT Malicious Traffic Detection via Adaptive Fusion and Focal Loss: An Improved Heterogeneous Graph Approach

广义多项式混沌框架下软件可靠性增长模型的数值解法

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models

TLA2eBPF: Real-Time Protection for Kernel Memory Out-of-Bounds Security

FT-Informer: A Frequency-Aware Hybrid Forecasting Model for Accurate Load Prediction in Cloud Computing Environments

DimAug-TimesFM: Dimension Augmentation for Long-Term Cloud Demand Forecasting in Few-Shot Scenarios

Fitness-Driven Evolutionary Federated Learning: Adaptive Client Selection and Dynamic Population for Communication Efficiency

BDEL: A Backdoor Attack Defense Method Based on Ensemble Learning

IoT OS Platform: Software Infrastructure for Next-Gen Industrial IoT

M2M Device Redundant Backup System Based on ad Hoc Network System

Fedgac: optimizing generalization in personalized federated learning via adaptive initialization and strategic client selection

A Formal Verification Approach for Linux Kernel Designing

An Intrusion Detection Algorithm for Resource-Constrained IoT

麒麟OS环境下基于Qt的驱动程序学习系统

基于SPICE协议的桌面虚拟化技术研究与改进方案

从Windows到Linux的应用移植实现平台技术与接口篇

云计算环境中虚拟机性能评测工具的研究与设计

基础软件平台集成测试组合选择方法

系统虚拟化技术性能评测

云计算环境中在线迁移技术研究

基础软件平台质量评估

使用贝叶斯网评估基础软件平台的互操作性

一种基于运行时交互约束的COTS构件集成测试用例生成方法

软件构件的可信保证研究

一个基于XML的自动化类测试框架

会议论文

A Linux Security Mechanism for Multi-domain Isolation Environment

基于动态分析构件接口交互约束建模

研究方向

精选作品

期刊论文

操作系统形式规约与验证综述

Scheduler-Boundary Observability in Shared Quantum Clouds: Compilation- and Backend-Conditioned Diagnostics

Enhanced Encrypted IoT Malicious Traffic Detection via Adaptive Fusion and Focal Loss: An Improved Heterogeneous Graph Approach

广义多项式混沌框架下软件可靠性增长模型的数值解法

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models

TLA2eBPF: Real-Time Protection for Kernel Memory Out-of-Bounds Security

FT-Informer: A Frequency-Aware Hybrid Forecasting Model for Accurate Load Prediction in Cloud Computing Environments

DimAug-TimesFM: Dimension Augmentation for Long-Term Cloud Demand Forecasting in Few-Shot Scenarios

Fitness-Driven Evolutionary Federated Learning: Adaptive Client Selection and Dynamic Population for Communication Efficiency

BDEL: A Backdoor Attack Defense Method Based on Ensemble Learning

IoT OS Platform: Software Infrastructure for Next-Gen Industrial IoT

M2M Device Redundant Backup System Based on ad Hoc Network System

Fedgac: optimizing generalization in personalized federated learning via adaptive initialization and strategic client selection

A Formal Verification Approach for Linux Kernel Designing

An Intrusion Detection Algorithm for Resource-Constrained IoT

麒麟OS环境下基于Qt的驱动程序学习系统

基于SPICE协议的桌面虚拟化技术研究与改进方案

从Windows到Linux的应用移植实现 平台技术与接口篇

云计算环境中虚拟机性能评测工具的研究与设计

基础软件平台集成测试组合选择方法

系统虚拟化技术性能评测

云计算环境中在线迁移技术研究

基础软件平台质量评估

使用贝叶斯网评估基础软件平台的互操作性

一种基于运行时交互约束的COTS构件集成测试用例生成方法

软件构件的可信保证研究

一个基于XML的自动化类测试框架

会议论文

A Linux Security Mechanism for Multi-domain Isolation Environment

基于动态分析构件接口交互约束建模

研究方向

从Windows到Linux的应用移植实现平台技术与接口篇