Weikai Miao

According to our database1, Weikai Miao authored at least 38 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones: Stochastic Modeling, Ambiguity Resolution, and RTK Positioning.
IEEE Internet Things J., 2023

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR, 2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR, 2022

A framework for Requirements specification of machine-learning systems.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021
A formal specification animation method for operation validation.
J. Syst. Softw., 2021

AdvBokeh: Learning to Adversarially Defocus Blur.
CoRR, 2021

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

A Formal Engineering Approach to Product Family Modeling.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Fine-Grained Neural Network Abstraction for Efficient Formal Verification.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

2020
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.
CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR, 2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017
A Survey on Data-Flow Testing.
ACM Comput. Surv., 2017

Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016
An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
Int. J. Softw. Eng. Knowl. Eng., 2016

Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci., 2016

Automated Safety Analysis on Scenario-Based Requirements for Train Control System.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automatic support for formal specification construction using pattern knowledge.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Formal Verification of PKMv3 Protocol Using DT-Spin.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
Proceedings of the Formal Methods and Software Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Incremental Points-to Analysis for Java via Edit Propagation.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2013
A Formal Engineering Framework for Service-Based Software Modeling.
IEEE Trans. Serv. Comput., 2013

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

2012
A Formal Specification-Based Integration Testing Approach.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2011
A Formal Specification-Based Testing Approach to Accurate Web Service Selection.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2009
Service-oriented modeling using the SOFL formal engineering method.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2007
Agent based ServiceBSP Model with Superstep Service for Grid Computing.
Proceedings of the Grid and Cooperative Computing, 2007


  Loading...