Cited By
View all- An DPan ZGao XLi SYin LLi T(2023)stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social SystemsIEEE Access10.1109/ACCESS.2023.327267211(44660-44671)Online publication date: 2023
- Liu HLiu JSun HLi TZhang J(2022)Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS57517.2022.00062(549-560)Online publication date: Dec-2022
- Chen MHuang SFu XLiu XHe J(2020)Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource AllocationIEEE Transactions on Cloud Computing10.1109/TCC.2016.25860678:2(443-458)Online publication date: 1-Apr-2020
- Show More Cited By