近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Weikai Miao, Bofeng Li, Yang Gao: The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones: Stochastic Modeling, Ambiguity Resolution, and RTK Positioning. IEEE Internet Things J. 10(8, April 15): 7315-7326 (2023)
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu: LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE 2023: 1914-1925
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He: FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR abs/2306.01260 (2023)
Xi Wang, Weikai Miao: A framework for Requirements specification of machine-learning systems. SEKE 2022: 7-12
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu: Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR abs/2203.12903 (2022)
Shaoying Liu, Weikai Miao: A formal specification animation method for operation validation. J. Syst. Softw. 178: 110948 (2021)
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu: AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. ACM Multimedia 2021: 395-403
Zhaosen Wen, Weikai Miao, Min Zhang: Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE 2021: 144-149
Xi Wang, Ridha Khédri, Weikai Miao: A Formal Engineering Approach to Product Family Modeling. TASE 2021: 87-94
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu: Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE 2021: 183-190
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu: AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. CoRR abs/2107.06501 (2021)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu: AdvBokeh: Learning to Adversarially Defocus Blur. CoRR abs/2111.12971 (2021)
Xudong Tang, Qiang Wang, Weikai Miao: Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study. ICA3PP (3) 2020: 231-250
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu: FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia 2020: 1217-1226
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He: FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE 2020: 1376-1386
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu: FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020)
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu: FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu: FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. CoRR abs/2009.09213 (2020)
Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng: A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. APSEC 2019: 15-22
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu: Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE 2019: 1166-1169
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu: Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR abs/1912.07817 (2019)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu: Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) 2018: 296-305
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu: SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR abs/1802.08547 (2018)
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su: A Survey on Data-Flow Testing. ACM Comput. Surv. 50(1): 5:1-5:35 (2017)
Lixu Shao, Yucong Duan, Xiaobing Sun, Honghao Gao, Donghai Zhu, Weikai Miao: Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph. SEKE 2017: 1-6
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su: Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59(9): 98101 (2016)
Weikai Miao, Xi Wang: An Evolutionary Method for the Formal Specification Construction of Service-Based Software. Int. J. Softw. Eng. Knowl. Eng. 26(4): 587-610 (2016)
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong: Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM 2016: 26-40
Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen: Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking. QRS 2016: 274-285
Xi Wang, Weikai Miao: Automatic support for formal specification construction using pattern knowledge. SNPD 2016: 363-372
Xi Wang, Huaikou Miao, Weikai Miao: Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL 2016: 55-73
Fu Song, Weikai Miao, Geguang Pu, Min Zhang: On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR 2015: 383-397
Shaoying Liu, Xi Wang, Weikai Miao: Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM 2015: 100-115
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao: Formal Verification of PKMv3 Protocol Using DT-Spin. TASE 2015: 71-78
Weikai Miao, Xi Wang, Shaoying Liu: A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE 2015: 127-130
Yuting Chen, Qiuwei Shi, Weikai Miao: Incremental Points-to Analysis for Java via Edit Propagation. SOFL+MSVL 2014: 164-178
Weikai Miao, Shaoying Liu: A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. 6(4): 536-550 (2013)
Weikai Miao, Shaoying Liu: Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL 2013: 89-103
Weikai Miao, Shaoying Liu: A Formal Specification-Based Integration Testing Approach. SOFL 2012: 26-43
京公网安备 11010802027423号