Models, methods and assessment of four-frequency carrier ambiguity resolution for BeiDou-3 observations
Zhang, Zhetao, Li, Bofeng, He, Xiufeng, Zhang, Zhiteng, Miao, Weikai
Published in GPS solutions (01.10.2020)
Published in GPS solutions (01.10.2020)
Get full text
Journal Article
Automated coverage-driven testing: combining symbolic execution and model checking
Su, Ting, Pu, Geguang, Miao, Weikai, He, Jifeng, Su, Zhendong
Published in Science China. Information sciences (01.09.2016)
Published in Science China. Information sciences (01.09.2016)
Get full text
Journal Article
An Enhanced Piezoelectric Vibration Energy Harvesting System with Macro Fiber Composite
Xu, Minglong, Yan, Bo, Luo, Yajun, Miao, Weikai, Zhang, Shuwen
Published in Shock and vibration (01.01.2015)
Published in Shock and vibration (01.01.2015)
Get full text
Journal Article
Improved precise positioning with BDS-3 quad-frequency signals
Li, Bofeng, Zhang, Zhiteng, Miao, Weikai, Chen, Guang’e
Published in Satellite navigation (07.12.2020)
Published in Satellite navigation (07.12.2020)
Get full text
Journal Article
Automatic support for formal specification construction using pattern knowledge
Xi Wang, Weikai Miao
Published in 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) (01.05.2016)
Published in 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) (01.05.2016)
Get full text
Conference Proceeding
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking
Siyuan Xu, Weikai Miao, Kunz, Thomas, Tongquan Wei, Mingsong Chen
Published in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) (01.08.2016)
Published in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) (01.08.2016)
Get full text
Conference Proceeding
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
Weikai Miao, Xi Wang, Shaoying Liu
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Get full text
Conference Proceeding
Formal Verification of PKMv3 Protocol Using DT-Spin
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Get full text
Conference Proceeding
A Formal Specification-Based Testing Approach to Accurate Web Service Selection
Weikai Miao, Shaoying Liu
Published in 2011 IEEE Asia-Pacific Services Computing Conference (01.12.2011)
Published in 2011 IEEE Asia-Pacific Services Computing Conference (01.12.2011)
Get full text
Conference Proceeding
Smartunit: empirical evaluations for automated unit testing of embedded software in industry
Zhang, Chengyu, Yan, Yichen, Zhou, Hanru, Yao, Yinbo, Wu, Ke, Su, Ting, Miao, Weikai, Pu, Geguang
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) (27.05.2018)
Get full text
Conference Proceeding