by CHEN, Ningning, ZHU, Huibiao
Published in IEICE Transactions on Information and Systems (01.09.2023)

by Yin, Jiaqi, Zhu, Huibiao, Fei, Yuan
Published in Mobile networks and applications (01.12.2021)

by Liu, Ailun, Zhu, Huibiao, Popovic, Miroslav, Xiang, Shuangqing, Zhang, Lei
Published in The Journal of systems and software (01.07.2020)

by Xie, Wanling, Zhu, Huibiao, Xu, Qiwen
Published in Formal aspects of computing (01.03.2021)

by LI, Ran, ZHU, Huibiao, YIN, Jiaqi
Published in IEICE Transactions on Information and Systems (01.12.2021)

by Fei, Yuan, Zhu, Huibiao, Vinh, Phan Cong
Published in Mobile networks and applications (01.06.2020)

by Yin, Jiaqi, Zhu, Huibiao, Vinh, Phan Cong
Published in Mobile networks and applications (01.06.2020)

by Xiang, Shuangqing, Zhu, Huibiao, Wu, Xi, Xiao, Lili, Bonsangue, Marcello, Xie, Wanling, Zhang, Lei
Published in Science of computer programming (15.02.2020)

by Sheng, Feng, Zhu, Huibiao, He, Jifeng, Yang, Zongyuan, Bowen, Jonathan P.
Published in Formal aspects of computing (01.07.2020)

by Xiang, Shuangqing, Wu, Xi, Zhu, Huibiao, Xie, Wanling, Xiao, Lili, Vinh, Phan Cong
Published in Mobile networks and applications (15.02.2019)

by Xie, Wanling, Zhu, Huibiao, Wu, Xi, Vinh, Phan Cong
Published in Mobile networks and applications (15.02.2019)

by Xi Wu, Huibiao Zhu
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)

by Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)

by Xi Wu, Yongxin Zhao, Huibiao Zhu
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)

by Huixing Fang, Huibiao Zhu, Jianqi Shi
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)

by Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)

by Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)

by HUANG, Yanhong, HE, Jifeng, ZHU, Huibiao, ZHAO, Yongxin, SHI, Jianqi, QIN, Shengchao
Published in Frontiers of Computer Science (01.06.2015)

by Haixing Yan, Huixing Fang, Kuka, Christian, Huibiao Zhu
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)

by Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
Published in 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (01.11.2014)