Author of the publication

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.

, , , , and . CSE, page 704-713. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200., , and . ARES, page 461-466. IEEE Computer Society, (2008)Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging., , and . Cogn. Technol. Work., 18 (4): 777-791 (2016)Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements., , , and . IEEE Access, (2018)SOTIF-Oriented Perception Evaluation Method for Forward Obstacle Detection of Autonomous Vehicles., , , , and . IEEE Syst. J., 17 (2): 2319-2330 (June 2023)Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept., , , and . IEEE Access, (2017)A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery., , , , and . IEEE Access, (2018)How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification., , , , and . Reliab. Eng. Syst. Saf., (2015)Epidemic spreading model of complex dynamical network with the heterogeneity of nodes., , , and . Int. J. Systems Science, 47 (11): 2745-2752 (2016)XML-based modeling method of phased-mission systems subject to probabilistic common cause failures., , , and . J. Intell. Fuzzy Syst., 36 (2): 871-884 (2019)A methodology for equipment condition simulation and maintenance threshold optimization oriented to the influence of multiple events., , , , and . Reliab. Eng. Syst. Saf., (2023)