Weikai Miao

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 31

Top Topics

Formal Specification

Semantic Segmentation

Top Venues

Publications

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) (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)
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 (2023)
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR (2022)
Xi Wang, Weikai Miao
A framework for Requirements specification of machine-learning systems. SEKE (2022)
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE (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)
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 (2021)
Xi Wang, Ridha Khédri, Weikai Miao
A Formal Engineering Approach to Product Family Modeling. TASE (2021)
Shaoying Liu, Weikai Miao
A formal specification animation method for operation validation. J. Syst. Softw. 178 (2021)
Zhaosen Wen, Weikai Miao, Min Zhang
Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE (2021)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu
AdvBokeh: Learning to Adversarially Defocus Blur. CoRR (2021)
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 (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 (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 (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. ACM Multimedia (2020)
Xudong Tang, Qiang Wang, Weikai Miao
Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study. ICA3PP (3) (2020)
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)
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 (2019)
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)
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)
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 (2018)
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)
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) (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)
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)
Xi Wang, Huaikou Miao, Weikai Miao
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL (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) (2016)
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) (2016)
Xi Wang, Weikai Miao
Automatic support for formal specification construction using pattern knowledge. SNPD (2016)
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)
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE (2015)
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)
Weikai Miao, Xi Wang, Shaoying Liu
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE (2015)
Shaoying Liu, Xi Wang, Weikai Miao
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM (2015)
Yuting Chen, Qiuwei Shi, Weikai Miao
Incremental Points-to Analysis for Java via Edit Propagation. SOFL+MSVL (2014)
Weikai Miao, Shaoying Liu
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL (2013)
Weikai Miao, Shaoying Liu
A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. 6 (4) (2013)
Weikai Miao, Shaoying Liu
A Formal Specification-Based Integration Testing Approach. SOFL (2012)
Weikai Miao, Shaoying Liu
A Formal Specification-Based Testing Approach to Accurate Web Service Selection. APSCC (2011)
Weikai Miao, Shaoying Liu
Service-oriented modeling using the SOFL formal engineering method. APSCC (2009)
Weikai Miao, Weiqin Tong
Agent based ServiceBSP Model with Superstep Service for Grid Computing. GCC (2007)