Weikai Miao
According to our database1,
Weikai Miao
authored at least 38 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
CoRR, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
2021
J. Syst. Softw., 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
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
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
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
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020
2019
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
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
Sci. China Inf. Sci., 2016
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016
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
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014
2013
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
2011
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
2009
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009
2007
Proceedings of the Grid and Cooperative Computing, 2007