Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Huibiao Zhu
conf.researchr.org general profile
APSEC 2025 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
APSEC
Author of BDafny: A Formal Execution and Verification Framework of the BPMN 2.0 in Dafny within the Technical Track-track
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
Sun 26 Oct 23:38