近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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
Sukun Zhang, Hai Wan, and Xibin Zhao: A Boolean Network Tomography based Methodfor Deterministic Multi-point Fault Detection. Globecom 2021 CQRM
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
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
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
Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao: DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN 2021: 1-11
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)
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)
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)
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)
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)
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
Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao: Hypergraph Label Propagation Network. AAAI 2020: 6885-6892
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.
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)
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)
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)
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
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)
Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao: Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529
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
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
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)
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
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
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)
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)
Xibin Zhao, Zhiyang You, Hai Wan: A Novel Two-Terminal Reliability Analysis for MANET. J. Applied Mathematics 2013: 216186:1-216186:9 (2013)
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
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
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)
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)
Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu: A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364
Hai Wan, Xiaoyu Song, Ming Gu: Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182
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)
京公网安备 11010802027423号