Sign in
Hao Bu
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 6
Top Topics
Timed Automata
Neural Network
Ordered Sets
Alternating Time Temporal Logic
Top Venues
DeepTest
ICECCS
Clust. Comput.
J. Intell. Fuzzy Syst.
</>
Publications
</>
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)