Yu Lu
Yu Lu
Shenzhen University
Verified email at research.gla.ac.uk
Title
Cited by
Cited by
Year
Risk Assessment of Railway Transportation Systems using Timed Fault Trees
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
Quality and Reliability Engineering International 32 (1), 181–194, 2016
352016
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification
Y Lu, Z Peng, A Miller, T Zhao, C Johnson
Reliability Engineering & System Safety 144, 95–116, 2015
232015
Efficient Path Planning Algorithms for Unmanned Surface Vehicle
H Niu, Y Lu, A Savvaris, A Tsourdos
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), 2016
22*2016
Efficient Path Following Algorithm for Unmanned Surface Vehicle
H Niu, Y Lu, A Savvaris, A Tsourdos
OCEANS 2016 - Shanghai, 2016
222016
An energy-efficient path planning algorithm for unmanned surface vehicles
H Niu, Y Lu, A Savvaris, A Tsourdos
Ocean Engineering 161, 308-321, 2018
172018
An empirical study on the use of the Generic Security Template for structuring the lessons from information security incidents
Y He, C Johnson, K Renaud, Y Lu, S Jebriel
6th International Conference on Computer Science and Information Technology …, 2014
162014
Semi-supervised Aspect-level Sentiment Classification Model based on Variational Autoencoder
X Fu, Y Wei, F Xu, T Wang, Y Lu, J Li, JZ Huang
Knowledge-Based Systems 171, 81-92, 2019
132019
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
7th European Modelling Symposium (EMS 2013), 611-616, 2013
122013
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
Z Peng, Y Lu, A Miller, T Zhao, C Johnson
Quality and Reliability Engineering International 32 (2), 345–361, 2016
102016
Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records
Y He, C Johnson, Y Lu, Y Lin
27th IEEE International Symposium on Computer-Based Medical Systems (CBMS …, 2014
92014
Verifying Collision Avoidance Behaviours for Unmanned Surface Vehicles using Probabilistic Model Checking
Y Lu, H Niu, A Savvaris, A Tsourdos
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), 2016
62016
Development of Wearable Pulse Oximeter Based on Internet of Things and Signal Processing Techniques
Y Xie, Y Gao, Y Li, Y Lu, W Li
11th European Modelling Symposium (EMS 2017), 249-254, 2017
42017
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Y Lu, A Miller, R Hoffmann, C Johnson
Joint 21st International Workshop on Formal Methods for Industrial Critical …, 2016
42016
Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata
Z Peng, Y Lu, A Miller
7th IEEE International Conference on Prognostics and Health Management (PHM …, 2016
42016
Ensemble Machine Learning for Estimating Fetal Weight at Varying Gestational Age
Y Lu, X Zhang, X Fu, F Chen, KKL Wong
33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 9522-9527, 2019
32019
Computerised Interpretation Systems for Cardiotocography for both Home and Hospital Uses
Y Lu, Y Gao, Y Xie, S He
31st IEEE International Symposium on Computer-Based Medical Systems (CBMS …, 2018
32018
Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker
Y Lu, A Miller, C Johnson, Z Peng, T Zhao
17th IEEE International Conference on Computational Science and Engineering …, 2014
32014
Timed Fault Tree Models of the China Yongwen Railway Accident
Y Lu, Z Peng, A Miller, T Zhao, C Johnson
8th Asia Modelling Symposium (AMS 2014), 128-133, 2014
32014
Automatic feature extraction in X-ray image based on deep learning approach for determination of bone age
X Chen, J Li, Y Zhang, Y Lu, S Liu
Future Generation Computer Systems, 2020
22020
A framework for intelligent analysis of digital cardiotocographic signals from IoMT-based foetal monitoring
Y Lu, Y Qi, X Fu
Future Generation Computer Systems 101, 1130-1141, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20