Personal information

Verified email addresses

Verified email domains

Activities

Employment (1)

École Polytechnique Fédérale de Lausanne: Lausanne, CH

Doctoral Student (Computer Science)
Employment
Source: Self-asserted source
Yonghao Zou

Works (4)

Practical Verification of System-Software Components Written in Standard C

2024-11-04 | Conference paper
Contributors: Can Cebeci; Yonghao Zou; Diyu Zhou; George Candea; Clément Pit-Claudel
Source: check_circle
Crossref

ROZZ: Property-based Fuzzing for Robotic Programs in ROS

2022 International Conference on Robotics and Automation (ICRA)
2022-05-23 | Conference paper
Contributors: Kai-Tao Xie; Jia-Ju Bai; Yong-Hao Zou; Yu-Ping Wang
Source: Self-asserted source
Yonghao Zou via Crossref Metadata Search

TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing

2021 USENIX Annual Technical Conference (USENIX ATC 21)
2021-07 | Conference paper
Contributors: Yonghao Zou; Jia-Ju Bai; Jielong Zhou; Jianfeng Tan; Chenggang Qin; Shi-Min Hu
Source: Self-asserted source
Yonghao Zou

Effective Crash Recovery of Robot Software Programs in ROS

2021 IEEE International Conference on Robotics and Automation (ICRA)
2021-05-30 | Conference paper
Contributors: Yonghao Zou; Jia-Ju Bai
Source: Self-asserted source
Yonghao Zou