Journal Articles


  1. 1.Yu Lu, Zhaoguang Peng*, Alice A. Miller, Tingdi Zhao, Christopher W. Johnson. How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliability Engineering & System Safety, Volume 144, pages 95-116, December 2015, Elsevier. (impact factor: 2.498) [pdf] [doi]


  1. 2.Zhaoguang Peng, Yu Lu*, Alice A. Miller, Tingdi Zhao, Christopher W. Johnson. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and Reliability Engineering International, Volume 32, Issue 2, pages 345-361, March 2016, Wiley. (impact factor: 1.457) [pdf] [doi]


  1. 3.Zhaoguang Peng, Yu Lu*, Alice A. Miller, Christopher W. Johnson, Tingdi Zhao. Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Quality and Reliability Engineering International, Volume 32, Issue 1, pages 181–194, February 2016, Wiley. (impact factor: 1.457) [pdf] [doi]



Conference Proceedings


  1. 4.Yu Lu*, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson. Towards the Automated Verification of Weibull Distributions for System Failure Rates. Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS 2016), pp. 81-96, Lecture Notes in Computer Science, Volume 9933, Springer International Publishing, September 2016 [pdf] [doi]


  1. 5.Zhaoguang Peng, Yu Lu*, Alice A. Miller. Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata. 7th IEEE International Conference on Prognostics and Health Management (PHM 2016), pp. 1-8, IEEE, June 2016 [pdf] [doi]


  1. 6.Yu Lu*, Alice A. Miller, Christopher W. Johnson, Zhaoguang Peng, Tingdi Zhao. Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker. 17th IEEE International Conference on Computational Science and Engineering (CSE 2014), pp. 704-713, IEEE, December 2014 [pdf] [doi]


  1. 7.Yu Lu*, Zhaoguang Peng, Alice A. Miller, Tingdi Zhao, Christopher W. Johnson. Timed Fault Tree Models of the China Yongwen Railway Accident. 8th Asia Modelling Symposium (AMS 2014), pp. 128-133, IEEE, September 2014 [pdf] [doi]


  1. 8.Zhaoguang Peng, Yu Lu*, Alice A. Miller, Christopher W. Johnson, Tingdi Zhao. A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. 7th European Modelling Symposium (EMS 2013), pp. 611-616, IEEE, November 2013 [pdf] [doi]