Ziyu Mao

According to our database, Ziyu Mao authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Quantitative Runtime Monitoring of Ethereum Transaction Attacks.

Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David Basin, Jun Sun, Jingyi Wang

Proceedings of the ACM on Web Conference 2025, 2025

LLM-Aided Automatic Modeling for Security Protocol Verification.

Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2023

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.

Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Deep Depression Detection with Resting-State and Cognitive-Task EEG.

Dan Peng, Wei Liu, Yun Luo, Ziyu Mao, Wei-Long Zheng, Bao-Liang Lu

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Investigating Emotion EEG Patterns for Depression Detection with Attentive Simple Graph Convolutional Network.

Yu-Ting Lan, Dan Peng, Wei Liu, Yun Luo, Ziyu Mao, Wei-Long Zheng, Bao-Liang Lu

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023