万海｜清华大学｜学者主页

2026

基于 TCNOpen 的列车通信网络安全增强方案

杨翌，刘佰幸，刘国梁，李振兴，丁旋，万海

《计算机科学》

2026

PR2Trigger: From Concurrency-Fix PR Diffs to Executable Triggering Tests for Go

Risheng Wei, Yuheng Shen, Yiming Ye, Yuchen Yan, Yihao Peng, Hao Xi, Yue Chen, Hai Wan, Xibin Zhao

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI

2026

Print-Time Audit-Log Integrity Below the Operating System

C.-C. Chen, Hai Wan, Xibin Zhao

ACM Workshop on Hot Topics in Storage and File Systems (HotStorage)

DOI

2026

Cerberus: Robust Endpoint Threat Detection in Practice

Zhiwei Xu, Tian Qiu, Haohao Gao, Wei Jiao, Qichen Ma, Jingli Wang, Jiaxiang Zhao, Jiabao Gao, Hai Wan, Xibin Zhao

DOI

2026

Culexus: Goroutine-Granular Detection and Mitigation of Algorithmic Complexity Attacks in Go Microservices

Yihao Peng, Yiming Wu, Biao Ma, Risheng Wei, Hao Xi, Yue Chen, Hai Wan, Xibin Zhao

IEEE Transactions on Services Computing

DOI

2026

ANCORA: Accurate Intrusion Recovery for Web Applications

Yi-Hao Peng, Biao Ma, Hai Wan, Xibin Zhao

IEEE Transactions on Dependable and Secure Computing

DOI

2025

ProvNavigator：基于影子路径引导的网络攻击调查方法

席昊，范皓，袁沈阳，朱金宇，陈昌骅，万海，赵曦滨

《通信学报》

2025

SeqTrident: An Integrated Sequence-Based Web Abnormal Detection System for Enterprises

Hao Bo Fan, Yi-Hao Peng, Yiming Wu, Hai Wan, Xibin Zhao

International Conference on Artificial Intelligence, Automation and High Performance Computing (AIAHPC)

DOI

2025

TeRed: Normal Behavior-Based Efficient Provenance Graph Reduction for Large-Scale Attack Forensics

Xiaoxiang Li, Xinyu Jiang, Hai Wan, Xibin Zhao

IEEE Transactions on Information Forensics and Security

DOI

2025

Detecting and Characterizing APT Attacks in the Open World

Hao Xi, Yibin Han, Xiaoxiang Li, Jingwei Song, Zhenwei Zhang, Hai WAN, Xibin Zhao

IEEE International Conference on Parallel and Distributed Systems (ICPADS)

DOI

2024

日志重融合:应用程序日志完整性对抗攻击及其防御方法

陈昌骅，万海，赵曦滨

《中国科学:信息科学》

2024

Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network

Yuanlin Li, Zhiwei Xu, Min Qi Zhou, Hai Wan, Xibin Zhao

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI

2024

DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions

Zhiwei Xu, Shaohua Qiang, D. Song, Min Qi Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang

IEEE/ACM International Conference on Software Engineering (ICSE)

DOI

2023

敏捷设计中基于机器学习的静态时序分析方法综述

贺旭，王耀，傅智勇，李暾，屈婉霞，万海，张吉良

《计算机辅助设计与图形学学报》

2022

面向国家战略需求的中德交叉学科人才培养比较研究——以中山大学和凯泽斯劳滕工业大学的计算机学科为例

黄明鸣，衡益，江颖，卢宇彤，吴迪，万海

《软件导刊》

2021

针对工业控制拓扑的确定性局部多点故障检测方法

梁若舟，赵曦滨，万海

《通信学报》

2021

疫情下在线评测系统远程教学与机考实践

万海，吴迪，刘思然，陆勇，吴维刚，江颖，吴岚岚，李湄

《软件导刊》

2021

微处理器敏捷设计方法综述

李暾，贺旭，屈婉霞，万海

《计算机辅助设计与图形学学报》

2021

TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning

Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, Xibin Zhao

IEEE International Conference on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

DOI

2020

提高在线评测代码提交接受率的三步法

乔海燕，周晓聪，王若梅，万海

《软件导刊》

2020

Editorial of special issue on time-sensitive networking

Wei Peng, Yi Wang, Tao Huang, Hai Wan, David Dai, Jianping Wang

CCF Transactions on Networking

DOI

2020

Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks

Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao

IEEE Transactions on Industrial Informatics

DOI

2019

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments

Zonghui Li, Hai Wan, Yangdong Steve Deng, Xibin Zhao, Yue Gao, Xiaoyu Song B, Ming Gu

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI

2018

Model-based adaptation to extreme physical environments

Zonghui Li, Hai Wan, Yangdong Steve Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu

DOI

2018

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup

Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song B, Chenyang Lu, Ming Gu

IEEE Transactions on Industrial Electronics

DOI

2018

An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet

Shiqian Zhang, Zonghui Li, Ningchen Wang, Hai Wan, Xibin Zhao

International Conference on Communications and Broadband Networking (ICCBN)

DOI

2017

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks

Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu

IEEE/ACM International Symposium on Quality of Service (IWQoS)

DOI

2016

列车通信网络WTB链路层攻击方法研究

万海，孙雷，王恬，黄晋，赵曦滨

《清华大学学报(自然科学版)》

2014

轨道车辆多功能车辆总线通信控制器及其配套产品化测试、实时监控装置的设计实现

颜乃鹏，李宗辉，胡丁相，徐翘楚，万海，樊海宁，邓仰东

《计算机应用研究》

2013

Formal component-based modeling and synthesis for PLC systems

Min Qi Zhou, Hai Wan, R. Wang, Xiaoyu Song B, Su Chen, M. Gu, Jun Sun

Computers in Industry

DOI

2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP

Su Chen, Min Qi Zhou, Liangze Yin, Hai Wan, Ming Gu

International Conference on Engineering of Complex Computer Systems

DOI

2011

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

万海，陈寅，郑云翔，李磊

《小型微型计算机系统》

2011

A novel fault diagnosis mechanism for wireless sensor networks

Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu

Mathematical and Computer Modelling

DOI

2010

Parameterized Specification and Verification of PLC Systems in Coq

Hai Wan, Xiaoyu Song B, Ming Gu

DOI

2010

A Refinement-Based Validation Method for Programmable Logic Controllers

Hai Wan, Xiaoyu Song B, Gang Chen, Ming Gu

Proceedings of the ... International Conference on Quality Software/Proceedings

DOI

2010

Formal modeling and verification of services managements for pervasive computing environment

Hai Wan, Zoé Drey, Zhiyang You, Liu Liu

International Conference on Service Systems and Service Management

DOI

2009

Formalization and Verification of PLC Timers in Coq

Hai Wan, Gang Chen, Xiaoyu Song B, Ming Gu

DOI

精选作品

期刊论文

基于 TCNOpen 的列车通信网络安全增强方案

PR2Trigger: From Concurrency-Fix PR Diffs to Executable Triggering Tests for Go

Print-Time Audit-Log Integrity Below the Operating System

Cerberus: Robust Endpoint Threat Detection in Practice

Culexus: Goroutine-Granular Detection and Mitigation of Algorithmic Complexity Attacks in Go Microservices

ANCORA: Accurate Intrusion Recovery for Web Applications

ProvNavigator：基于影子路径引导的网络攻击调查方法

SeqTrident: An Integrated Sequence-Based Web Abnormal Detection System for Enterprises

TeRed: Normal Behavior-Based Efficient Provenance Graph Reduction for Large-Scale Attack Forensics

Detecting and Characterizing APT Attacks in the Open World

日志重融合:应用程序日志完整性对抗攻击及其防御方法

Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network

DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions

敏捷设计中基于机器学习的静态时序分析方法综述

面向国家战略需求的中德交叉学科人才培养比较研究——以中山大学和凯泽斯劳滕工业大学的计算机学科为例

针对工业控制拓扑的确定性局部多点故障检测方法

疫情下在线评测系统远程教学与机考实践

微处理器敏捷设计方法综述

TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning

提高在线评测代码提交接受率的三步法

Editorial of special issue on time-sensitive networking

Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments

Model-based adaptation to extreme physical environments

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup

An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks

列车通信网络WTB链路层攻击方法研究

轨道车辆多功能车辆总线通信控制器及其配套产品化测试、实时监控装置的设计实现

Formal component-based modeling and synthesis for PLC systems

Modeling and Verification of Component-Based Systems with Data Passing Using BIP

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

A novel fault diagnosis mechanism for wireless sensor networks

Parameterized Specification and Verification of PLC Systems in Coq

A Refinement-Based Validation Method for Programmable Logic Controllers

Formal modeling and verification of services managements for pervasive computing environment

Formalization and Verification of PLC Timers in Coq

会议论文

可视化安全审计模型与系统框架研究

预印本

Semantic Code Clone Detection: Are We There Yet?

DiagChain: A Diagnostic Benchmark for Evaluating LLM Agents on Evidence-Grounded Attack Chain Reconstruction

Adversarial Contrastive Learning for LLM Quantization Attacks

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution

Deep Learning-based Intrusion Detection Systems: A Survey

GLADformer: A Mixed Perspective for Graph-level Anomaly Detection

LESS: Efficient Log Storage System Based on Learned Model and Minimum Attribute Tree

研究方向