Zhaoguang Peng

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 3

Top Topics

Probabilistic Reasoning

Formal Specification

Transportation Systems

Top Venues

Qual. Reliab. Eng. Int.

Publications

Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32 (2) (2016)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32 (1) (2016)
Zhaoguang Peng, Yu Lu, Alice Miller
Uncertainty analysis of phased mission systems with probabilistic timed automata. ICPHM (2016)
Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144 (2015)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Formal modelling and quantitative analysis of satellite navigation systems. CoRR (2014)
Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS (2013)