Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 23.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Banks, Alec, Cox, Victoria, Flynn, David, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021) Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. In: AISafety 2021 Workshop co-located with IJCAI-21, 2021-8-21 - 2021-8-23, virtual.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Robu, Valentin and Flynn, David
(2020) BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. In: 37th Conference on Uncertainty in Artificial Intelligence (UAI'21), 2021-7-27 - 2021-7-29, Virtual.


Bensalem, Saddek, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Ruan, Wenjie, Tang, Qiyi, Wu, Changshun and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2024) Bridging formal methods and machine learning with model checking and global optimisation. Journal of Logical and Algebraic Methods in Programming, 137. p. 100941.


Salako, Kizito, Strigini, Lorenzo and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2021) Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021-6-21 - 2021-6-24, Taipei, Taiwan.


Huang, Wei, Sun, Youcheng, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Sharp, James, Ruan, Wenjie, Meng, Jie and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE TRANSACTIONS ON RELIABILITY, 71 (3). pp. 1191-1206.


Salako, Kizito ORCID: 0000-0003-0394-7833 and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2023) Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. Quality and Reliability Engineering International.


Dong, Yi ORCID: 0000-0003-3047-7777, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021) Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022), 2022-10-24 - ?, Kyoto, Japan.


Dong, Yi, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2022) Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022-10-23 - 2022-10-27.


Huang, Xiaowei ORCID: 0000-0001-6267-0366, Peng, Bei ORCID: 0000-0003-0152-3180 and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2022) Dependable learning-enabled multiagent systems. AI COMMUNICATIONS, 35 (4). pp. 407-420.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Schewe, Sven ORCID: 0000-0002-9093-9518, Dong, Yi ORCID: 0000-0003-3047-7777 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021) Detecting Operational Adversarial Examples for Reliable Deep Learning. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), 2021-6-21 - 2021-6-24, Taipei, Taiwan.


Huang, Wei, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2022) Embedding and Extraction of Knowledge in Tree Ensemble Classifiers. Machine Learning, 111 (5). pp. 1925-1958.


Huang, Wei ORCID: 0000-0003-1418-6267, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Banks, Alec ORCID: 0000-0002-1350-0798, Cox, Victoria ORCID: 0000-0003-3852-7855 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2024) Hierarchical Distribution-aware Testing of Deep Learning. ACM Transactions on Software Engineering and Methodology, 33 (2). pp. 1-35.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin and Flynn, David
(2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: ASE '20: 35th IEEE/ACM International Conference on Automated Software Engineering.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881
(2019) Probabilistic Model Checking of Robots Deployed in Extreme Environments. In: 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.


Dong, Yi ORCID: 0000-0003-3047-7777, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Wang, Sen and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2024) Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. IEEE Robotics and Automation Letters. pp. 1-8.


Dong, Yi ORCID: 0000-0003-3047-7777, Huang, Wei, Bharti, Vibhav, Cox, Victoria, Banks, Alec, Wang, Sen, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2023) Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 22 (3). pp. 1-48.


Dong, Yi, Chen, Yang, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2023) Short-term Load Forecasting with Distributed Long Short-Term Memory. In: 2023 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), 2023-1-16 - 2023-1-19.


Dong, Yi ORCID: 0000-0003-3047-7777, Chen, Yang, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2022) Short-term Load Forecasting with Distributed Long Short-Term Memory. In: The 2023 North American Innovative Smart Grid Technologies Conference, 2023-1-16 - 2022-10-19, Washington, D.C., US.


Zhao, Xingyu ORCID: 0000-0002-3474-349X, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Ferrando, Angelo ORCID: 0000-0002-8711-4670
(2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. .


Salako, Kizito and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2023) The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Transactions on Software Engineering, 49 (4). pp. 1-9.


Salako, Kizito and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2022) The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Transactions on Software Engineering.


Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David
et al (show 2 more authors) (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.


Huang, Wei
(2023) Verification and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems. PhD thesis, University of Liverpool.

This list was generated on Sun Mar 10 09:55:25 2024 GMT.