Huibiao Zhu
发表
Bo Li,
Mengdi Wang,
Yongxin Zhao,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Qin Li,
Si Liu,
Yongxin Zhao,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Jing Li,
Jifeng He,
Huibiao Zhu,
2007,
ICTAC.
Huibiao Zhu,
Jiaqi Yin,
Yuan Fei,
2020,
Journal of Computer Science and Technology.
Zheng Wang,
Peng Liu,
Jianqi Shi,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Si Liu,
Xi Wu,
Lei Chen,
2012,
2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.
Xu Wang,
Yongxin Zhao,
Huibiao Zhu,
2010,
UTP.
Jian Guo,
Xi Wu,
Huibiao Zhu,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Chengcheng Wu,
Yongxin Zhao,
Huibiao Zhu,
2012,
UTP.
Qin Li,
Fan Yang,
Huibiao Zhu,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Phan Cong Vinh,
Huibiao Zhu,
Xi Wu,
2018,
Mob. Networks Appl..
Shengchao Qin,
Huibiao Zhu,
Malcolm Munro,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jian Guo,
Si Liu,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.
Huibiao Zhu,
Yuan Fei,
Jiaqi Yin,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013,
Lecture Notes in Computer Science.
Jifeng He,
Huibiao Zhu,
Xiaoqing Peng,
2008,
UTP.
Huibiao Zhu,
Xiaofeng Wu,
Qiwen Xu,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Jianqi Shi,
Huibiao Zhu,
Huixing Fang,
2013,
ArXiv.
Jing Li,
Jifeng He,
Huibiao Zhu,
2008,
ICTAC.
Huibiao Zhu,
Yuan Fei,
2018,
ICFEM.
Flemming Nielson,
Hanne Riis Nielson,
Huibiao Zhu,
2012,
ArXiv.
Jifeng He,
Huibiao Zhu,
Qin Li,
2008,
2008 11th IEEE High Assurance Systems Engineering Symposium.
Qin Li,
Zhong Hong,
Jianmin Jiang,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Huibiao Zhu,
Shuangqing Xiang,
Wanling Xie,
2018,
Formal Aspects of Computing.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jing Li,
Jifeng He,
Huibiao Zhu,
2007,
WS-FM.
Jian Guo,
Huibiao Zhu,
Weikai Miao,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013
.
Jing Li,
Jifeng He,
Jonathan P. Bowen,
2007,
SEFM.
Flemming Nielson,
Hanne Riis Nielson,
Huibiao Zhu,
2014,
International Journal on Software Tools for Technology Transfer.
Zongyuan Yang,
Huibiao Zhu,
Feng Sheng,
2019,
2019 26th Asia-Pacific Software Engineering Conference (APSEC).
Jian Guo,
Jianqi Shi,
Xin Ye,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Xiao Yu,
Jifeng He,
Libo Feng,
2008,
2008 15th Asia-Pacific Software Engineering Conference.
Zhong Hong,
Jianmin Jiang,
Shi Zhang,
2019,
ACM Trans. Softw. Eng. Methodol..
Min Zhang,
Huibiao Zhu,
Frédéric Mallet,
2016,
ICFEM.
Zhengfeng Yang,
Wang Lin,
Huibiao Zhu,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2006,
ICECCS.
Phan Cong Vinh,
Huibiao Zhu,
Shuangqing Xiang,
2019,
Concurr. Comput. Pract. Exp..
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2007
.
Huibiao Zhu,
Xi Wu,
2015,
FTSCS.
Shengchao Qin,
Huibiao Zhu,
Zongyan Qiu,
2012,
SEFM.
Ansuman Banerjee,
Saikat Dutta,
Huibiao Zhu,
2013,
FACS.
Jian Guo,
Fan Yang,
Huibiao Zhu,
2011,
2011 IEEE 35th Annual Computer Software and Applications Conference Workshops.
Jifeng He,
Yongxin Zhao,
Huibiao Zhu,
2009,
2009 Australian Software Engineering Conference.
Jianqi Shi,
Jifeng He,
Huibiao Zhu,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Huibiao Zhu,
Jiaqi Yin,
Ningning Chen,
2021,
SEKE.
Jing Ping,
Jifeng He,
Yongxin Zhao,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Lei Zhang,
Huibiao Zhu,
Shuangqing Xiang,
2020,
J. Syst. Softw..
Jifeng He,
Huibiao Zhu,
Xiaoqing Peng,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.
Quan Z. Sheng,
Alex Delis,
Aditya Ghose,
2013
.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Gang Lu,
Min Zhang,
Huibiao Zhu,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Richard Banach,
Huibiao Zhu,
Wen Su,
2011,
Refine@FM.
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2014,
Sci. Comput. Program..
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2006
.
Lei Zhou,
Jing Ping,
Yongxin Zhao,
2010,
Service Oriented Computing and Applications.
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2012,
ICFEM.
Huibiao Zhu,
Luyao Wang,
Yanhong Huang,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Huibiao Zhu,
Jiaqi Yin,
Ruobiao Wu,
2019,
SEKE.
Qin Li,
Lin Zhao,
Zhong Hong,
2017,
ACM Trans. Cyber Phys. Syst..
Huibiao Zhu,
Yuan Fei,
Huixing Fang,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Yongxin Zhao,
Huibiao Zhu,
Yanhong Huang,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Huibiao Zhu,
Xiaofeng Wu,
Jeff W. Sanders,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Jifeng He,
Libo Feng,
Yongxin Zhao,
2008,
ICDCIT.
Si Liu,
Yongxin Zhao,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jing Li,
Jifeng He,
Jonathan P. Bowen,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Yue Zhang,
Jian Guo,
Xi Wu,
2014,
TTSS.
Jianmin Wang,
Alex Delis,
Yan Wang,
2012,
Lecture Notes in Computer Science.
Huibiao Zhu,
Andy Podgurski,
Xusheng Xiao,
2017,
ESEC/SIGSOFT FSE.
Shengchao Qin,
Jianqi Shi,
Yongxin Zhao,
2012,
SBMF.
Chao Cai,
Yi Qian,
Geguang Pu,
2007,
2007 Australian Software Engineering Conference (ASWEC'07).
Huibiao Zhu,
Huiwen Wang,
Yucheng Fang,
2018,
SEKE.
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2007
.
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2014,
Sci. Comput. Program..
Huibiao Zhu,
Yuan Fei,
Wanling Xie,
2017,
FedCSIS.
Huibiao Zhu,
Longfei Zhu,
Qiwen Xu,
2018,
FedCSIS.
Jian Guo,
Jianqi Shi,
Huibiao Zhu,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2012,
ABZ.
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2011,
ICFEM.
Jifeng He,
Huibiao Zhu,
2000,
ICECS.
Xi Wu,
Huibiao Zhu,
Xiaofeng Wu,
2014,
UTP.
Marcello M. Bonsangue,
Huibiao Zhu,
Shuangqing Xiang,
2019,
ICFEM.
Jifeng He,
Huibiao Zhu,
Qin Li,
2009,
2009 Australian Software Engineering Conference.
Miroslav Popovic,
Huibiao Zhu,
Ailun Liu,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Lijun Zhang,
Zongyuan Yang,
Ming Xu,
2016,
Theor. Comput. Sci..
Jing Li,
Jifeng He,
Geguang Pu,
2006,
ICFEM.
Huibiao Zhu,
Richard Banach,
Huibiao Zhu,
2020,
J. Softw. Evol. Process..
Min Zhang,
Jifeng He,
Huibiao Zhu,
2019,
IEEE Transactions on Reliability.
Xi Wu,
Huibiao Zhu,
Xi Wu,
2016,
Future Gener. Comput. Syst..
Jing Li,
Jifeng He,
Jonathan P. Bowen,
2010,
Innovations in Systems and Software Engineering.
Huibiao Zhu,
Shuangqing Xiang,
Lili Xiao,
2018,
SAC.
Phan Cong Vinh,
Jian Guo,
Huibiao Zhu,
2017,
Mob. Networks Appl..
Jianqi Shi,
Min Zhang,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jian Guo,
Xin Li,
Xi Wu,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Qin Li,
Si Liu,
Yongxin Zhao,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2020,
Formal Aspects of Computing.
Xin Li,
Huibiao Zhu,
Yuan Fei,
2018,
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Phan Cong Vinh,
Jian Guo,
Xin Li,
2018,
Mob. Networks Appl..
Huibiao Zhu,
Wanling Xie,
Xi Wu,
2019,
UTP.
Huibiao Zhu,
Frank Zeyda,
Yuan Fei,
2018,
2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC).
Yuanrui Zhang,
Huibiao Zhu,
Yixiang Chen,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Huibiao Zhu,
Naiyong Jin,
2008,
ISoLA.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013,
Lecture Notes in Computer Science.
Gang Lu,
Huibiao Zhu,
Wanling Xie,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Jing Li,
Geguang Pu,
Huibiao Zhu,
2007,
TASE.
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2006,
FMOODS.
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2006,
ASIAN.
Qin Li,
Jianqi Shi,
Huibiao Zhu,
2014,
Innovations in Systems and Software Engineering.
Jianqi Shi,
Huibiao Zhu,
Huixing Fang,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Jing Li,
Jifeng He,
Huibiao Zhu,
2007,
ICDCIT.
Xi Wu,
Jifeng He,
Yongxin Zhao,
2014,
IEICE Trans. Inf. Syst..
Chao Xu,
Huibiao Zhu,
Wanling Xie,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Peng Liu,
Huibiao Zhu,
Naiyong Jin,
2012,
2012 IEEE 11th International Conference on Solid-State and Integrated Circuit Technology.
Xi Wu,
Huibiao Zhu,
Chao Xu,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Zongyuan Yang,
Huibiao Zhu,
Gang Lu,
2019,
SEKE.
Bo Liu,
Yuanrui Zhang,
Huibiao Zhu,
2021
.
Phan Cong Vinh,
Huibiao Zhu,
Jiaqi Yin,
2019,
Mobile Networks and Applications.
Phan Cong Vinh,
Huibiao Zhu,
Xi Wu,
2018,
Mob. Networks Appl..
Huibiao Zhu,
Qin Li,
Jieqi Ding,
2011,
2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2001,
CHARME.
Qin Li,
Fan Yang,
Huibiao Zhu,
2009,
2009 WRI World Congress on Computer Science and Information Engineering.
Yongxin Zhao,
Geguang Pu,
Huibiao Zhu,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Zhong Hong,
Huibiao Zhu,
Ping Gong,
2020,
Inf. Comput..
Jifeng He,
Huibiao Zhu,
Huixing Fang,
2016,
Mobile Networks and Applications.
Lingling Fan,
Zongyuan Yang,
Huibiao Zhu,
2016,
2016 23rd Asia-Pacific Software Engineering Conference (APSEC).
Huibiao Zhu,
Gang Lu,
Jiaqi Yin,
2019,
SEKE.
Qian Wang,
Huibiao Zhu,
Huibiao Zhu,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Huibiao Zhu,
Yuan Fei,
Huiwen Wang,
2018,
SEKE.
Qin Li,
Huibiao Zhu,
Han Zhu,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Xinyun Zhou,
Jian Guo,
Jianqi Shi,
2014,
Electron. Notes Theor. Comput. Sci..
Jian Guo,
Xin Li,
Jianqi Shi,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Xi Wu,
Hanne Riis Nielson,
Huibiao Zhu,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Jifeng He,
Huibiao Zhu,
Longfei Zhu,
2014,
UTP.
Qin Li,
Huibiao Zhu,
Wenjuan Wu,
2010,
ICDCIT.
Huibiao Zhu,
Christian Kuka,
Huixing Fang,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Huibiao Zhu,
Shuangqing Xiang,
Wanling Xie,
2018,
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2012,
ABZ.
Jian Guo,
Gang Lu,
Huibiao Zhu,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Si Liu,
Xi Wu,
Yongxin Zhao,
2014,
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing.
Jin Song Dong,
Huibiao Zhu,
Huibiao Zhu,
2010
.
Geguang Pu,
Huibiao Zhu,
Zhenbin Zeng,
2006
.
Jianqi Shi,
Huibiao Zhu,
Xin Ye,
2012
.
Qin Li,
Ningkang Jiang,
Huibiao Zhu,
2009,
2009 Fourth International Conference on Frontier of Computer Science and Technology.
Zheng Wang,
Si Liu,
Xi Wu,
2013,
Comput. Sci. Inf. Syst..
Huibiao Zhu,
Huibiao Zhu,
2005
.
Huibiao Zhu,
Yuan Fei,
Huiwen Wang,
2018,
Int. J. Softw. Eng. Knowl. Eng..
Jian Guo,
Jianqi Shi,
Xin Ye,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Qin Li,
Huibiao Zhu,
Yanhong Huang,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Huibiao Zhu,
Hongyan Zhao,
Lili Xiao,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Qin Li,
Huibiao Zhu,
Qin Li,
2009,
2009 33rd Annual IEEE Software Engineering Workshop.
Xi Wu,
Huibiao Zhu,
Xi Wu,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Jifeng He,
Jing Li,
Geguang Pu,
2007
.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013
.
Qin Li,
Lin Zhao,
Zhong Hong,
2015,
ACM Trans. Embed. Comput. Syst..
Gang Lu,
Huibiao Zhu,
Huiwen Wang,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Phan Cong Vinh,
Huibiao Zhu,
Yuan Fei,
2020,
Mob. Networks Appl..
Richard Banach,
Huibiao Zhu,
Wen Su,
2012,
Formal Aspects of Computing.
Huibiao Zhu,
Xiaofeng Wu,
2013,
ICFEM.
Qin Li,
Huibiao Zhu,
Han Zhu,
2010,
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.
Zongyuan Yang,
Jifeng He,
Jonathan P. Bowen,
2019,
ACM Trans. Softw. Eng. Methodol..
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2017,
Sci. Comput. Program..
Georg Struth,
C. A. R. Hoare,
Stephan van Staden,
2014,
J. Log. Algebraic Methods Program..
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2014,
TSEM.
Marcello M. Bonsangue,
Lei Zhang,
Huibiao Zhu,
2020,
Sci. Comput. Program..
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen,
2009,
Innovations in Systems and Software Engineering.
Geguang Pu,
Huibiao Zhu,
Wenyin Zhang,
2006
.
Shengchao Qin,
Jianqi Shi,
Jifeng He,
2015,
Frontiers of Computer Science.
Shengchao Qin,
Jifeng He,
Huibiao Zhu,
2012,
UTP.
Jing Li,
Jifeng He,
Geguang Pu,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Richard Banach,
Huibiao Zhu,
Xiaofeng Wu,
2012,
ABZ.
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
Richard Banach,
Huibiao Zhu,
R. Banach,
2016,
FTSCS.
Jian Guo,
Huibiao Zhu,
Shuangqing Xiang,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2002,
ICFEM.
Yue Zhang,
Peng Liu,
Xi Wu,
2012,
WS-FM.
Shengchao Qin,
Huibiao Zhu,
Wanling Xie,
2018,
ICFEM.
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.
Shengchao Qin,
Fan Yang,
Jifeng He,
2012,
J. Log. Algebraic Methods Program..
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Huibiao Zhu,
Gang Lu,
Jiaqi Yin,
2020,
SEKE.
Jifeng He,
Huibiao Zhu,
Qin Li,
2010,
ICTAC.
Jing Li,
Jifeng He,
Huibiao Zhu,
2008,
FORTE.
Yongxin Zhao,
Huibiao Zhu,
Longfei Zhu,
2013,
Theories of Programming and Formal Methods.
Qin Li,
Si Liu,
Qian Wang,
2011,
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.
Jifeng He,
Huibiao Zhu,
Qin Li,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Qin Li,
Fan Yang,
Huibiao Zhu,
2010,
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.
Huibiao Zhu,
Wanling Xie,
Qiwen Xu,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Gang Lu,
Huibiao Zhu,
Yuan Fei,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Huibiao Zhu,
Gang Lu,
Jiaqi Yin,
2019,
Int. J. Softw. Eng. Knowl. Eng..
Fan Yang,
Jifeng He,
Huibiao Zhu,
2010,
UTP.
Huibiao Zhu,
Xi Wu,
Xi Wu,
2017,
Sci. Comput. Program..
Huibiao Zhu,
Jean-Raymond Abrial,
Wen Su,
2012,
ABZ.
Jifeng He,
Yongxin Zhao,
Huibiao Zhu,
2012,
SEFM.
Peng Liu,
Shengchao Qin,
Xi Wu,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude
Peng Liu,
Shengchao Qin,
Jifeng He,
2012,
UTP.
Flemming Nielson,
Hanne Riis Nielson,
Huibiao Zhu,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Zhengfeng Yang,
Huibiao Zhu,
Wenjun Du,
2018,
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Shengchao Qin,
Huibiao Zhu,
Xi Wu,
2018,
J. Softw. Evol. Process..
Huibiao Zhu,
Yucheng Fang,
Jiaqi Yin,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Jing Li,
Jifeng He,
Geguang Pu,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Jonathan P. Bowen,
Huibiao Zhu,
Jonathan P. Bowen,
2017,
UTP.
Yongxin Zhao,
Huibiao Zhu,
Xi Wu,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Qin Li,
Jianqi Shi,
Yongxin Zhao,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Huibiao Zhu,
Yuan Fei,
Huiwen Wang,
2018,
Mobile Networks and Applications.
Huibiao Zhu,
Luyao Wang,
Wanling Xie,
2017,
Models, Algorithms, Logics and Tools.
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2007,
Frontiers of Computer Science in China.
Jianqi Shi,
Yongxin Zhao,
Huibiao Zhu,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Jifeng He,
Jonathan P. Bowen,
Huibiao Zhu,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Jifeng He,
Yongxin Zhao,
Huibiao Zhu,
2014,
Frontiers of Computer Science.
Shengchao Qin,
Jifeng He,
Huibiao Zhu,
2014,
Formal Aspects of Computing.
Peng Liu,
Shengchao Qin,
Xi Wu,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Huibiao Zhu,
Gang Lu,
Jiaqi Yin,
2020
.
Kim G. Larsen,
Jian Guo,
Jianqi Shi,
2014,
International Journal on Software Tools for Technology Transfer.
Haiying Sun,
Huibiao Zhu,
Jiaqi Yin,
2019,
ICFEM.
Fan Yang,
Jifeng He,
Jonathan P. Bowen,
2009,
2009 33rd Annual IEEE Software Engineering Workshop.
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2015,
Sci. Comput. Program..
Gang Lu,
Huibiao Zhu,
Wanling Xie,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Huibiao Zhu,
Yuan Fei,
Jiaqi Yin,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Huibiao Zhu,
Jiaqi Yin,
Lili Xiao,
2021,
ECBS.
Huibiao Zhu,
Qiwen Xu,
Wanling Xie,
2021,
Formal Aspects of Computing.
Huibiao Zhu,
Yuan Fei,
Jiaqi Yin,
2021,
J. Softw. Evol. Process..
Richard Banach,
Huibiao Zhu,
2021,
Logic, Computation and Rigorous Methods.
Huibiao Zhu,
Qiwen Xu,
Yuan Fei,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Miroslav Popovic,
Huibiao Zhu,
Branislav Kordic,
2021,
ECBS.
Huibiao Zhu,
Ran Li,
Jiaqi Yin,
2021,
2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom).
Huibiao Zhu,
Ningning Chen,
Huixing Fang,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Huibiao Zhu,
Lili Xiao,
2021,
SETTA.