All Stories

  1. An energy-efficient path planning algorithm for unmanned surface vehicles

    Article • Ocean Engineering, August 2018, Elsevier

    Mr Yu Lu

  2. Development of Wearable Pulse Oximeter Based on Internet of Things and Signal Processing Techniques

    Article • November 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  3. Uncertainty analysis of phased mission systems with probabilistic timed automata

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  4. Efficient path following algorithm for unmanned surface vehicle

    Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  5. Towards the Automated Verification of Weibull Distributions for System Failure Rates

    Article • January 2016, Springer Science + Business Media

    Mr Yu Lu

  6. Efficient Path Planning Algorithms for Unmanned Surface Vehicle

    Article • IFAC-PapersOnLine, January 2016, Elsevier

    Mr Yu Lu

  7. Verifying Collision Avoidance Behaviours for Unmanned Surface Vehicles using Probabilistic Model Checking

    Article • IFAC-PapersOnLine, January 2016, Elsevier

    Mr Yu Lu

  8. How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification

    Article • Reliability Engineering & System Safety, December 2015, Elsevier

    Mr Yu Lu

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

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  10. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

    Article • Quality and Reliability Engineering International, November 2014, Wiley

    Mr Yu Lu

  11. Risk Assessment of Railway Transportation Systems using Timed Fault Trees

    Article • Quality and Reliability Engineering International, October 2014, Wiley

    Mr Yu Lu

  12. Timed Fault Tree Models of the China Yongwen Railway Accident

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  13. Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records

    Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  14. An empirical study on the use of the Generic Security Template for structuring the lessons from information security incidents

    Article • March 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  15. A Dynamic Programming Approach to the Rank Aggregation Problem

    Article • March 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu

  16. Towards the Computation of a Nash Equilibrium

    Article • January 2014, Springer Science + Business Media

    Mr Yu Lu

  17. A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System

    Article • November 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Yu Lu