• Sign in
  • Sign up
conf.researchr.org / Huibiao Zhu
  • ECBS 2023 profile
  • ECBS 2024 profile
  • ECBS 2025 profile
  • NASA Formal Methods 2024 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
No Photo

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
xFri 16 May 16:57
using conf.researchr.org (v1.69.0)
Support page
Sign Up