Hao Bu

According to our database, Hao Bu authored at least 9 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation.

Hao Bu, Meng Sun

IEEE Trans. Software Eng., July, 2024

2023

Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking.

Hao Bu, Meng Sun

Proceedings of the International Joint Conference on Neural Networks, 2023

DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks.

Hao Bu, Meng Sun

Proceedings of the IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2023

Certifying Semantic Robustness of Deep Neural Networks.

Hao Bu, Meng Sun

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Guiding the Comparison of Neural Network Local Robustness: An Empirical Study.

Hao Bu, Meng Sun

Proceedings of the Artificial Neural Networks and Machine Learning, 2023

2020

Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq.

Hao Bu, Meng Sun

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Research on concurrency comparison modeling based on $$\uppi $$ π calculus in future computer technology.

Hao Bu, Rong Zhu, Shihong Chen, Xiaoqiong Tan

Clust. Comput., 2019

2017

Sorting realization of well-ordered sets based on π-calculus.

Hao Bu, Rong Zhu, Shihong Chen, Xiaoqiong Tan

J. Intell. Fuzzy Syst., 2017

2011

The flexible integration of inference algorithm based on users' preference.

Ying Wang, Hao Bu, Yimin Qiu

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011