PerDet: Machine-Learning-Based UAV GPS Spoofing Detection Using Perception Data X Wei, Y Wang, C Sun Remote Sensing 14 (19), 4925, 2022 | 25 | 2022 |
Architecture-Level Hazard Analysis using AADL X Wei, Y Dong, X Li, WE Wong Journal of Systems and Software, 2017 | 24 | 2017 |
Hazard analysis for AADL model X Wei, Y Dong, M Yang, N Hu, H Ye Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014 IEEE …, 2014 | 21 | 2014 |
ConstDet: Control Semantics-Based Detection for GPS Spoofing Attacks on UAVs X Wei, C Sun, M Lyu, Q Song, Y Li Remote Sensing 14 (21), 5587, 2022 | 17 | 2022 |
Safety analysis of AADL models for grid cyber-physical systems via model checking of stochastic games X Wei, Y Dong, P Sun, M Xiao Electronics 8 (2), 212, 2019 | 13 | 2019 |
A Qualitative Safety Analysis Method for AADL Model B Gu, Y Dong, X Wei Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth …, 2014 | 13 | 2014 |
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model X Wei, Y Dong, H Ye Theoretical Aspects of Software Engineering (TASE), 2015 International …, 2015 | 12 | 2015 |
Overview: System architecture virtual integration based on an AADL model Y Dong, X Wei, M Xiao Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor …, 2018 | 7 | 2018 |
Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL X Wei, Z Dong, M Xiao, C Tian Ruan Jian Xue Bao/Journal of Software 31 (6), 1654-1671, 2020 | 6* | 2020 |
Safety-based software reconfiguration method for integrated modular avionics systems in AADL Model X Wei, Y Dong, M Xiao 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 6 | 2018 |
A hybrid method of redundancy system reliability analysis based on AADL models Y Lu, Y Dong, X Wei, M Xiao 2018 ieee international conference on software quality, reliability and …, 2018 | 6 | 2018 |
AADL Vulnerability Modeling and Security Analysis Method Y Cao, Y Dong, X Wei, X Wu 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 3 | 2019 |
AADL-based safety analysis approaches for safety-critical systems X Wei 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 3 | 2019 |
GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio X Wei, C Sun, X Li, J Ma Journal of Systems Architecture, 103212, 2024 | 2 | 2024 |
SigFeaDet: Signal Features-based UAV GPS Spoofing Detection using Machine Learning X Wei, L Wang 2023 IEEE 29th International Conference on Parallel and Distributed Systems …, 2023 | 2 | 2023 |
Mapping prediction with recurrent neural networks for future LISP enabled networks Y Li, S Guo, Q Song, Y Wang, X Wei, J Ma Journal of Information and Intelligence 1 (2), 134-147, 2023 | 1 | 2023 |
A Survey on Security of Unmanned Aerial Vehicle Systems: Attacks and Countermeasures X Wei, J Ma, C Sun IEEE Internet of Things Journal, 2024 | | 2024 |
Safety Analysis for Mixed-Criticality Systems with Random Errors and Error Bursts Based on AADL 魏晓敏, 董云卫, 孙聪, 李兴华, 马建峰 Journal of Software 35 (9), 0-0, 2024 | | 2024 |
基于 AADL 的混合关键系统随机错误与突发错误安全性分析 魏晓敏, 董云卫, 孙聪, 李兴华, 马建峰 软件学报 35 (9), 0-0, 2024 | | 2024 |
多时间无干扰性验证方法 刘乔森, 孙聪, 魏晓敏, 曾荟铭, 马建峰 软件学报, 1-22, 2023 | | 2023 |