Hao Bu

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 7

Top Topics

Deterministic Finite Automaton

Top Venues

J. Intell. Fuzzy Syst.

Publications

Hao Bu, Meng Sun
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation. IEEE Trans. Software Eng. 50 (7) (2024)
Hao Bu, Meng Sun
Certifying Semantic Robustness of Deep Neural Networks. ICECCS (2023)
Hao Bu, Meng Sun
DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. DeepTest (2023)
Hao Bu, Meng Sun
Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. IJCNN (2023)
Hao Bu, Meng Sun
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. ICFEM (2020)
Hao Bu, Rong Zhu, Shihong Chen, Xiaoqiong Tan
Research on concurrency comparison modeling based on $$\uppi $$ π calculus in future computer technology. Clust. Comput. 22 (Suppl 1) (2019)
Hao Bu, Rong Zhu, Shihong Chen, Xiaoqiong Tan
Sorting realization of well-ordered sets based on π-calculus. J. Intell. Fuzzy Syst. 32 (5) (2017)
Ying Wang, Hao Bu, Yimin Qiu
The flexible integration of inference algorithm based on users' preference. EMEIT (2011)