Huibiao Zhu
发表
Phan Cong Vinh,
Huibiao Zhu,
Xi Wu,
2018,
Mob. Networks Appl..
Huibiao Zhu,
Wanling Xie,
Xi Wu,
2018,
Mobile Networks and Applications.
Gang Lu,
Huibiao Zhu,
Wanling Xie,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2014,
TSEM.
Huibiao Zhu,
Qiwen Xu,
Wanling Xie,
2021,
Formal Aspects of Computing.
Zhenyu Sun,
Y. W. Chen,
Sumei Huang,
2009
.
Zhong Hong,
Huibiao Zhu,
Ping Gong,
2020,
Inf. Comput..
Huibiao Zhu,
Christian Kuka,
Huixing Fang,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Bo Li,
Mengdi Wang,
Yongxin Zhao,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Lei Zhou,
Jing Ping,
Yongxin Zhao,
2010,
Service Oriented Computing and Applications.
Georg Struth,
C. A. R. Hoare,
Stephan van Staden,
2014,
J. Log. Algebraic Methods Program..
Y. W. Chen,
Huibiao Zhu,
Sumei Huang,
2008
.
Jianqi Shi,
Qin Li,
Huibiao Zhu,
2014,
Innovations in Systems and Software Engineering.
Jianqi Shi,
Min Zhang,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jianqi Shi,
Jifeng He,
Huibiao Zhu,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Y. W. Chen,
Sumei Huang,
Z. Sun,
2008
.
Y. W. Chen,
Huibiao Zhu,
Sumei Huang,
2008
.
PREPARATION OF INDIUM TIN OXIDE FILMS BY RADIO FREQUENCY MAGNETRON SPUTTERING UNDER LOW VACUUM LEVEL
Y. W. Chen,
Sumei Huang,
Z. Sun,
2006
.
Huibiao Zhu,
Richard Banach,
Huibiao Zhu,
2020,
J. Softw. Evol. Process..
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
Richard Banach,
Huibiao Zhu,
R. Banach,
2016,
FTSCS.
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2017,
Sci. Comput. Program..
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2015,
Sci. Comput. Program..
Huibiao Zhu,
Jiaqi Yin,
Yuan Fei,
2020,
Journal of Computer Science and Technology.
Phan Cong Vinh,
Huibiao Zhu,
Shuangqing Xiang,
2019,
Concurr. Comput. Pract. Exp..
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2020,
Formal Aspects of Computing.
Zongyuan Yang,
Jifeng He,
Jonathan P. Bowen,
2019,
ACM Trans. Softw. Eng. Methodol..
Huibiao Zhu,
Shuangqing Xiang,
Wanling Xie,
2018,
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Min Zhang,
Jifeng He,
Huibiao Zhu,
2019,
IEEE Transactions on Reliability.
Huibiao Zhu,
Jiaqi Yin,
Ningning Chen,
2021,
SEKE.
Huibiao Zhu,
Yuan Fei,
Huiwen Wang,
2018,
Mobile Networks and Applications.
Huibiao Zhu,
P. Vinh,
Qiwen Xu,
2022,
Mobile Networks and Applications.
Lili Xiao,
Huibiao Zhu,
2022,
J. Syst. Archit..
Jiaqi Yin,
Ran Li,
Huibiao Zhu,
2021,
IEICE Trans. Inf. Syst..
Miroslav Popovic,
Huibiao Zhu,
Branislav Kordic,
2021,
ECBS.
Lei Zhang,
Huibiao Zhu,
Shuangqing Xiang,
2020,
J. Syst. Softw..
Marcello M. Bonsangue,
Lei Zhang,
Huibiao Zhu,
2020,
Sci. Comput. Program..
Phan Cong Vinh,
Huibiao Zhu,
Jiaqi Yin,
2019,
Mobile Networks and Applications.
Xi Wu,
Huibiao Zhu,
Chao Xu,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Huibiao Zhu,
Yuan Fei,
Jiaqi Yin,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Phan Cong Vinh,
Huibiao Zhu,
Xi Wu,
2018,
Mob. Networks Appl..
Wanling Xie,
Xi Wu,
P. Vinh,
2018,
Mobile Networks and Applications.
Wanling Xie,
Huibiao Zhu,
Shuangqing Xiang,
2018,
Formal Aspects of Computing.
Huibiao Zhu,
Yuan Fei,
Huiwen Wang,
2018,
SEKE.
Gang Lu,
Huibiao Zhu,
Wanling Xie,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Gang Lu,
Huibiao Zhu,
Huiwen Wang,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Huibiao Zhu,
Shuangqing Xiang,
Lili Xiao,
2018,
SAC.
Miroslav Popovic,
Huibiao Zhu,
Ailun Liu,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Chao Xu,
Huibiao Zhu,
Wanling Xie,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Huibiao Zhu,
Yuan Fei,
Wanling Xie,
2017,
FedCSIS.
Huibiao Zhu,
Xi Wu,
Xi Wu,
2017,
Sci. Comput. Program..
Phan Cong Vinh,
Jian Guo,
Huibiao Zhu,
2017,
Mob. Networks Appl..
Qin Li,
Lin Zhao,
Zhong Hong,
2017,
ACM Trans. Cyber Phys. Syst..
Jian Guo,
Huibiao Zhu,
Shuangqing Xiang,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Xi Wu,
Huibiao Zhu,
Xi Wu,
2016,
Future Gener. Comput. Syst..
Jifeng He,
Huixing Fang,
Huibiao Zhu,
2016,
Mob. Networks Appl..
Huibiao Zhu,
Yuan Fei,
Huixing Fang,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Qin Li,
Lin Zhao,
Zhong Hong,
2015,
ACM Trans. Embed. Comput. Syst..
Jifeng He,
S. Qin,
Yanhong Huang,
2015,
Frontiers of Computer Science.
Jian Guo,
Xi Wu,
Huibiao Zhu,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Xi Wu,
Huibiao Zhu,
Xi Wu,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Yue Zhang,
Jian Guo,
Xi Wu,
2014,
TTSS.
Jian Guo,
Xin Li,
Jianqi Shi,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Xi Wu,
Jifeng He,
Yongxin Zhao,
2014,
IEICE Trans. Inf. Syst..
Peng Liu,
Shengchao Qin,
Xi Wu,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Jianqi Shi,
Yongxin Zhao,
Huibiao Zhu,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Shengchao Qin,
Huibiao Zhu,
Zongyan Qiu,
2012,
SEFM.
Yue Zhang,
Peng Liu,
Xi Wu,
2012,
WS-FM.
Si Liu,
Xi Wu,
Lei Chen,
2012,
2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.
Qian Wang,
Huibiao Zhu,
Huibiao Zhu,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Si Liu,
Yongxin Zhao,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Qin Li,
Jianqi Shi,
Yongxin Zhao,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jian Guo,
Fan Yang,
Huibiao Zhu,
2011,
2011 IEEE 35th Annual Computer Software and Applications Conference Workshops.
Qin Li,
Si Liu,
Qian Wang,
2011,
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.
Huibiao Zhu,
Qin Li,
Jieqi Ding,
2011,
2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.
Jing Li,
Jifeng He,
Jonathan P. Bowen,
2010,
Innovations in Systems and Software Engineering.
Yongxin Zhao,
Huibiao Zhu,
Yanhong Huang,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Qin Li,
Huibiao Zhu,
Han Zhu,
2010,
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.
Qin Li,
Fan Yang,
Huibiao Zhu,
2010,
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.
Qin Li,
Huibiao Zhu,
Wenjuan Wu,
2010,
ICDCIT.
Qin Li,
Ningkang Jiang,
Huibiao Zhu,
2009,
2009 Fourth International Conference on Frontier of Computer Science and Technology.
Qin Li,
Huibiao Zhu,
Qin Li,
2009,
2009 33rd Annual IEEE Software Engineering Workshop.
Qin Li,
Huibiao Zhu,
Han Zhu,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Qin Li,
Fan Yang,
Huibiao Zhu,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Jifeng He,
Huibiao Zhu,
Qin Li,
2009,
2009 Australian Software Engineering Conference.
Qin Li,
Fan Yang,
Huibiao Zhu,
2009,
2009 WRI World Congress on Computer Science and Information Engineering.
Jing Li,
Jifeng He,
Huibiao Zhu,
2008,
ICTAC.
Jing Li,
Jifeng He,
Huibiao Zhu,
2007,
ICDCIT.
Jing Li,
Jifeng He,
Jonathan P. Bowen,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Jing Li,
Jifeng He,
Geguang Pu,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jifeng He,
Huibiao Zhu,
Qin Li,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2007,
Frontiers of Computer Science in China.
Hongqin Zhang,
Jiaqi Yin,
Huibiao Zhu,
2021
.
Lili Xiao,
Ran Li,
Huibiao Zhu,
2020,
SEKE.
Huibiao Zhu,
Hongyan Zhao,
Lili Xiao,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Huibiao Zhu,
Frank Zeyda,
Yuan Fei,
2018,
2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC).
Yucheng Fang,
Huiwen Wang,
Huibiao Zhu,
2018
.
Zheng Wang,
Si Liu,
Xi Wu,
2013,
Comput. Sci. Inf. Syst..
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013,
Lecture Notes in Computer Science.
Shengchao Qin,
Fan Yang,
Jifeng He,
2012,
J. Log. Algebraic Methods Program..
Shengchao Qin,
Huibiao Zhu,
Malcolm Munro,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jin Song Dong,
Huibiao Zhu,
Huibiao Zhu,
2010
.
Richard Banach,
Huibiao Zhu,
Wen Su,
2012,
Formal Aspects of Computing.
Zhong Hong,
Jianmin Jiang,
Shi Zhang,
2019,
ACM Trans. Softw. Eng. Methodol..
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2014,
Sci. Comput. Program..
Peng Liu,
Shengchao Qin,
Xi Wu,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Jing Li,
Geguang Pu,
Huibiao Zhu,
2007,
TASE.
Chengcheng Wu,
Yongxin Zhao,
Huibiao Zhu,
2012,
UTP.
Huibiao Zhu,
Yuan Fei,
Jiaqi Yin,
2021,
J. Softw. Evol. Process..
Jifeng He,
Yongxin Zhao,
Huibiao Zhu,
2014,
Frontiers of Computer Science.
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2014,
Sci. Comput. Program..
Jiaqi Yin,
Ran Li,
Huibiao Zhu,
2020,
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
Qin Li,
Huibiao Zhu,
Yanhong Huang,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2012,
ABZ.
Yuan Fei,
Jiaqi Yin,
Lili Xiao,
2020,
2020 27th Asia-Pacific Software Engineering Conference (APSEC).
Huibiao Zhu,
Jiaqi Yin,
Lili Xiao,
2021,
ECBS.