Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Huibiao Zhu
conf.researchr.org general profile
ECBS 2023 profile
ECBS 2024 profile
ECBS 2025 profile
NASA Formal Methods 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user
Name:
Huibiao Zhu
Country:
China
Contributions
2025
ECBS
Committee Member in Programm Committee
2024
ECBS
Committee Member in Programm Committee within the Papers-track
NFM
Author of Verification of Scapegoat Trees using Dafny within the NFM 2024-track
2023
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
ECBS
Committee Member in Program Committee
Author of Formalization and Verification of MQTT-SN Communication Using CSP within the ECBS 2023-track
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
Share
x
Sat 26 Apr 20:48