学术成果  

2024:

1. Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang. DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. International Conference on Software Engineering (ICSE). 2024.

2. 陈昌骅，万海，赵曦滨. 日志重融合: 应用程序日志完整性对抗攻击及其防御方法. 中国科学：信息科学. 2024.

3. Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao. Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. IEEE/ACM International Conference on Automated Software Engineering (ASE). 2024.

4. Changhua Chen, TingZhen Yan, ChenXuan Shi, Hao Xi, ZhiRui Fan, Hai Wan, Xibin Zhao. The Last Mile of Attack Investigation: Audit Log Analysis towards Software Vulnerability Location. IEEE Transactions on Information Forensics and Security (TIFS). 2024.

5. Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan: Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. AAAI. 2024.

2023:

1. Hai Wan, Xinwei Zhang, Yubo Zhang, Xibin Zhao, Shihui Ying, Yue Gao: Structure Evolution on Manifold for Graph Learning. IEEE Trans. Pattern Anal. Mach. Intell. 45(6): 7751-7763 (2023)

2. Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang: Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1676-1690 (2023)

3. Jiaxuan Lu, Hai Wan, Peiyan Li, Xibin Zhao, Nan Ma, Yue Gao: Exploring High-Order Spatio-Temporal Correlations From Skeleton for Person Re-Identification. IEEE Trans. Image Process. 32: 949-963 (2023)

4. Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan: ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI 2023: 581-586

5. Ruihua Wang, Yihao Peng, Yilun Sun, Xuanchen Zhang, Hai Wan, Xibin Zhao: TeSec: Accurate Server-side Attack Investigation for Web Applications: 2023 IEEE Symposium on Security and Privacy (SP), 1133-1150

2022:

1. Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao: Grow and Merge: A Unified Framework for Continuous Categories Discovery. NeurIPS 2022

2021:

1. Hongyu Jia, Jiang Yu, Chunmeng Zhong, Hai Wan, and Xibin Zhao: TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. Globecom2021 IoTSN

2. Sukun Zhang, Hai Wan, and Xibin Zhao: A Boolean Network Tomography based Methodfor Deterministic Multi-point Fault Detection. Globecom 2021 CQRM

3. Tun Li, Xu He,Wanxia Qu, and Hai Wan: Survey on Microprocessor Agile Design Methodology and Technology. Journal of Computer-Aided Design & Computer Graphics 2021

4. Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, and Xibin Zhao: TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. ISPA 2021

5. Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao: View-Guided Point Cloud Completion. CVPR 2021: 15890-15899

6. Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao: DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN 2021: 1-11

7. Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao: Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. IEEE Trans. Ind. Informatics 17(3): 1668-1678 (2021)

8. 李宗辉, 杨思琪, 喻敬海, 邓仰东, & 万海. (2021). 时间敏感网络中确定性传输技术综述. 软件学报, 33(11), 4334-4355.

2020:

1. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. on CAD of Integrated Circuits and Systems 39(1): 185-198 (2020)

2. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1386-1399 (2020)

3. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song: A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67(11): 9862-9872 (2020)

4. Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu: Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Industrial Informatics 16(6): 3778-3788 (2020)

5. Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao: Speeding up Very Fast Decision Tree with Low Computational Cost. IJCAI 2020: 1272-1278

6. Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao: Hypergraph Label Propagation Network. AAAI 2020: 6885-6892

7. Tun Li, Qinhan Yu, Hai Wan, Sikun Li: Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques. Tsinghua Science and Technology 2020.

2019:

1. Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu: Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Industrial Electronics 66(2): 1345-1355 (2019)

2. Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao: Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Industrial Informatics 15(2): 1120-1130 (2019)

3. Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27(3): 1124-1137 (2019)

4. Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu: Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM 2019: 36-42

2018:

1. Heyuan Shi, Xibin Zhao, Hai Wan, Huihui Wang, Jian Dong, Kun Tang, Anfeng Liu: Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. Comput. Networks 141: 157-165 (2018)

2. Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao: Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529

3. Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu: Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) 2018: 327-328

4. Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu: Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS 2018: 85-88

~2017:

1. Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun: Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017)

2. Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun: Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785

3. Qinghan Yu, åXibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu: Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS 2017: 1-6

4. Hai Wan, Anping He, Zhiyang You, Xibin Zhao: Formal Proof of a Machine Closed Theorem in Coq. J. Applied Mathematics 2014: 892832:1-892832:9 (2014)

5. Zhen Cheng, De-chen Zhan, Xibin Zhao, Hai Wan: Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing. J. Applied Mathematics 2014: 369350:1-369350:9 (2014)

6. Xibin Zhao, Zhiyang You, Hai Wan: A Novel Two-Terminal Reliability Analysis for MANET. J. Applied Mathematics 2013: 216186:1-216186:9 (2013)

7. Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu: Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS 2013: 4-13

8. Wan Hai, Huang Chongdi, Wang Yuhui, Fei He, Gu Ming, Marius Bozga, Modeling and Validation of a Data Process Unit Control for Space Applications, Embedded Real Time Software and Systems 2012

9. Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu: A novel fault diagnosis mechanism for wireless sensor networks. Mathematical and Computer Modelling 54(1-2): 330-343 (2011)

10. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalisation and verification of programmable logic controllers timers in Coq. IET Software 5(1): 32-42 (2011)

11. Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu: A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364

12. Hai Wan, Xiaoyu Song, Ming Gu: Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182

13. Hai Wan, Gu Ming, Xiaoyu Song: Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Mathematical and Computer Modelling 50(7-8): 1090-1099 (2009)

奖励与荣誉

1. 2019年，中国中车科学技术三等奖

2. 2021年，清华软件奖

3. 2022年，中国中车科学技术一等奖

4. 2023年，中国航空工业集团有限公司科学技术三等奖

5. 2023年，中国航空学会科学技术奖三等奖

6. 2023年，上海市科技进步三等奖

7. 2023年，中国交通运输协会科学技术二等奖

8. 2023年，日内瓦国际发明展“评审团特别嘉许金奖”

9. 2023年，中国航空工业集团科技进步三等奖

10. 2023年，中国电工技术学会科技进步一等奖

11. 2023年，电力科学技术奖三等奖

授权专利

1. 彭贻豪,王瑞华,万海等.应用服务端的攻击溯源方法及装置[P].北京市:ZL202210635554.3,2024-01-26.

2. 周博雅,万海,焦伟等.基于关联图的异常分析方法及装置[P].北京市:ZL202111137284.5,2023-05-02.

3. 万海,贾宏宇,赵曦滨.时间触发调度模型的训练、时间触发调度方法及装置[P].北京市:ZL202111137291.5,2023-01-24.

4. 万海,赵曦滨,李德建等.一种基于Linux系统的中断处理方法及装置[P].北京市:ZL202011318921.4,2023-01-13.

5. 万海,赵曦滨,李德建等.一种基于Linux系统的调度处理方法及装置[P].北京市:ZL202011318413.6,2023-01-13.

6. 赵曦滨,万海,张豪等.适应低预算的数据标注请求方法、装置、设备及存储介质[P].北京市:ZL202010767850.X,2022-12-02.

7. 王瑞华,彭贻豪,万海等.应用服务端的攻击溯源方法及装置[P].北京市:ZL202210635554.3,2022-11-04.

8. 万海,钟春蒙,赵曦滨.一种基于深度强化学习的时间敏感网络通信流调度方法[P].北京市:ZL202110257321.X,2022-09-23.

9. 万海,张苏坤,赵曦.网络链路状态的检测方法、检验矩阵的训练方法和装置[P].北京市:ZL202011639076.0,2022-08-05.

10. 高跃,陈自强,赵曦滨等.一种基于图建模视觉信息的利用问题指导的视频问答方法[P].北京市:ZL2019112010187,2022-06-24.

11. 赵曦滨,李宗辉,万海等.用于交换机的优先级调度方法和装置[P].北京市:ZL201910059909.7,2022-05-03.

12. 万海,李宗辉,张世钱等.一种传输实时数据的实时以太网调度方法[P].北京市:ZL201810948025.2,2022-03-11.

13. 高跃,蒋建文,赵曦滨等.一种基于多模态数据的立体对象检索方法与系统[P].北京市:ZL201910636624.5,2022-03-01.

14. 周博雅,万海,焦伟等.基于关联图的异常分析方法及装置[P].北京市:ZL202111137284.5,2022-02-01.

15. 万海,贾宏宇,赵曦滨.时间触发调度模型的训练、时间触发调度方法及装置[P].北京市:ZL202111137291.5,2022-02-01.

16. 万海,李宗辉,赵曦滨等.一种混合优先级数据传输调度方法及装置[P].北京市:ZL201811565961.1,2021-11-26.

17. 万海,钟春蒙,赵曦滨.一种基于深度强化学习的时间敏感网络通信流调度方法[P].北京市:ZL202110257321.X,2021-08-20.

18. 万海,张苏坤,赵曦.网络链路状态的检测方法、检验矩阵的训练方法和装置[P].北京市:ZL202011639076.0,2021-05-28.

19. 万海,李宗辉,于庆涵等.线长自适应时间触发调度方法和装置[P].北京市:ZL201910060566.6,2021-05-25.

20. 万海,赵曦滨,李德建等.一种基于Linux系统的调度处理方法及装置[P].北京市:ZL202011318413.6,2021-03-02.

21. 万海,赵曦滨,李德建等.一种基于Linux系统的中断处理方法及装置[P].北京市:ZL202011318921.4,2021-03-02.

22. 万海,于庆涵,赵曦滨.一种调度表压缩、数据转发方法及装置[P].北京市:ZL2018115655606,2021-02-26.

23. 赵曦滨,高跃,万海.一种时间触发网络中调度表生成的方法、装置及系统[P].北京市:ZL201910851119.2,2021-02-02.

24. 万海,赵曦滨.一种支持时间触发机制的数据处理方法和SDN网络系统[P].北京市:ZL201910851171.8,2020-12-11.

25. 万海,赵曦滨.一种以太网中具有实时传输功能的上位机及以太网系统[P].北京市:ZL201910851124.3,2020-12-04.

26. 赵曦滨,高跃,万海.一种时间敏感网络中确定性故障检测与定位方法及系统[P].北京市:ZL201910851512.1,2020-11-06.

27. 赵曦滨,万海,张豪等.适应低预算的数据标注请求方法、装置、设备及存储介质[P].北京市:ZL202010767850.X,2020-11-03.

28. 高跃,王楠,赵曦滨等.一种基于F值优化的网络攻击检测方法与系统[P].北京市:ZL201910183415X,2020-08-28.

29. 万海,李宗辉,赵曦滨等.一种混合临界系统的服务等级转换方法及装置[P].北京市:ZL201811565056.6,2020-08-04.

30. 万海,李宗辉,于庆涵等.线长自适应时间触发调度方法和装置[P].北京市:ZL201910060566.6,2020-07-28.

31. 赵曦滨,李宗辉,万海等.用于交换机的优先级调度方法和装置[P].北京市:ZL201910059909.7,2020-07-28.

32. 王欢,万海,赵曦滨.一种列车UIC网关冗余切换装置及其控制方法[P].北京市:ZL201710311430.9,2020-07-17.

33. 王欢,万海,赵曦滨.一种WTB链路层接口适配器及其实现方法[P].北京市:ZL201710398260.2,2020-07-17.

34. 高跃,王楠,赵曦滨等.一种基于高阶关联挖掘的网络数据异常检测方法与系统[P].北京市:ZL20191018344652020-07-03.

35. 高跃,陈自强,赵曦滨等.一种基于图建模视觉信息的利用问题指导的视频问答方法[P].北京市:ZL2019112010187,2020-04-10.

36. 万海,赵曦滨.一种支持时间触发机制的数据处理方法和SDN网络系统[P].北京市:ZL201910851171.8,2019-12-31.

37. 赵曦滨,高跃,万海.一种时间敏感网络中确定性故障检测与定位方法及系统[P].北京市:ZL201910851512.1,2019-12-20.