Weikai Miao

52 papers A* 4B 1C 11Misc 4Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
SageJavon: A scalable AI tutor for personalized programming learning.
Inf. Process. Manag.
Hanyu Zhao, Yuzhuo Wu, Zhufeng Lu, Xiaohua Yu, Weikai Miao, Liangyu Chen
2025 J jnl
A Study of In-Context-Learning-Based Text-to-SQL Errors.
CoRR
Jiawei Shen, Chengcheng Wan, Ruoyi Qiao, Jiazhen Zou, Hang Xu, Yuchen Shao, Yueling Zhang, Weikai Miao, Geguang Pu
2025 A* conf
Perception-Guided Jailbreak Against Text-to-Image Models.
AAAI
Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu
2025 J jnl
Scale-Invariant Adversarial Attack Against Arbitrary-Scale Super-Resolution.
IEEE Trans. Inf. Forensics Secur.
Yihao Huang, Xin Luo, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Weikai Miao, Geguang Pu, Yang Liu
2025 J jnl
Scale-Invariant Adversarial Attack against Arbitrary-scale Super-resolution.
CoRR
Yihao Huang, Xin Luo, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Weikai Miao, Geguang Pu, Yang Liu
2024 — conf
A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems.
SFPVV
Jilu Zhang, Yong Cai, Weikai Miao, Zhouyang Wang
2024 C conf
Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models.
QRS
Yilongfei Xu, Jincao Feng, Weikai Miao
2024 J jnl
Perception-guided Jailbreak against Text-to-Image Models.
CoRR
Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu
2024 — conf
Real-World License Plate Image Super-Resolution via Domain-specific Degradation Modeling.
CAI
Xin Luo, Yihao Huang, Weikai Miao
2024 — conf
S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm.
SFPVV
Yilongfei Xu, Zhewei Wang, Jinhao Liang, Yueling Zhang, Jincao Feng, Weikai Miao, Jiangtao Wang, Geguang Pu
2023 J jnl
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2023 — conf
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
ESEC/SIGSOFT FSE
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu
2023 J jnl
The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones: Stochastic Modeling, Ambiguity Resolution, and RTK Positioning.
IEEE Internet Things J.
Weikai Miao, Bofeng Li, Yang Gao
2022 C conf
A framework for Requirements specification of machine-learning systems.
SEKE
Xi Wang, Weikai Miao
2022 J jnl
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
2021 Misc conf
A Formal Engineering Approach to Product Family Modeling.
TASE
Xi Wang, Ridha Khédri, Weikai Miao
2021 J jnl
A formal specification animation method for operation validation.
J. Syst. Softw.
Shaoying Liu, Weikai Miao
2021 J jnl
AdvBokeh: Learning to Adversarially Defocus Blur.
CoRR
Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu
2021 A* conf
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
ACM Multimedia
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2021 J jnl
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
CoRR
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2021 C conf
Fine-Grained Neural Network Abstraction for Efficient Formal Verification.
SEKE
Zhaosen Wen, Weikai Miao, Min Zhang
2021 Misc conf
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.
TASE
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
2020 — conf
Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study.
ICA3PP (3)
Xudong Tang, Qiang Wang, Weikai Miao
2020 — conf
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2020 J jnl
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 A* conf
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
ACM Multimedia
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.
CoRR
Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2019 C conf
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.
APSEC
Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng
2019 A* conf
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
ASE
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
2019 J jnl
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
CoRR
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
2018 J jnl
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry.
CoRR
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 — conf
Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
ICSE (SEIP)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2017 J jnl
A Survey on Data-Flow Testing.
ACM Comput. Surv.
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
2017 C conf
Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph.
SEKE
Lixu Shao, Yucong Duan, Xiaobing Sun, Honghao Gao, Donghai Zhu, Weikai Miao
2016 J jnl
An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
Int. J. Softw. Eng. Knowl. Eng.
Weikai Miao, Xi Wang
2016 C conf
Automated Requirements Validation for ATP Software via Specification Review and Testing.
ICFEM
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong
2016 — conf
Automated Safety Analysis on Scenario-Based Requirements for Train Control System.
SOFL+MSVL
Xi Wang, Huaikou Miao, Weikai Miao
2016 J jnl
Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci.
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
2016 C conf
Automatic support for formal specification construction using pattern knowledge.
SNPD
Xi Wang, Weikai Miao
2016 C conf
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.
QRS
Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen
2015 Misc conf
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
TASE
Weikai Miao, Xi Wang, Shaoying Liu
2015 Misc conf
Formal Verification of PKMv3 Protocol Using DT-Spin.
TASE
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
2015 B conf
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.
CONCUR
Fu Song, Weikai Miao, Geguang Pu, Min Zhang
2015 C conf
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
ICFEM
Shaoying Liu, Xi Wang, Weikai Miao
2014 — conf
Incremental Points-to Analysis for Java via Edit Propagation.
SOFL+MSVL
Yuting Chen, Qiuwei Shi, Weikai Miao
2013 J jnl
A Formal Engineering Framework for Service-Based Software Modeling.
IEEE Trans. Serv. Comput.
Weikai Miao, Shaoying Liu
2013 — conf
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling.
SOFL+MSVL
Weikai Miao, Shaoying Liu
2012 — conf
A Formal Specification-Based Integration Testing Approach.
SOFL
Weikai Miao, Shaoying Liu
2011 C conf
A Formal Specification-Based Testing Approach to Accurate Web Service Selection.
APSCC
Weikai Miao, Shaoying Liu
2009 C conf
Service-oriented modeling using the SOFL formal engineering method.
APSCC
Weikai Miao, Shaoying Liu
2007 — conf
Agent based ServiceBSP Model with Superstep Service for Grid Computing.
GCC
Weikai Miao, Weiqin Tong