The Library
Browse by Warwick Author
Up a level |
Number of items: 37.
2024
Tang, Yun, Raj, Dhanush, Zhao, Xingyu, Zhang, Xizhe, Bruto da Costa, Antonio A., Khastgir, Siddartha and Jennings, Paul. A. (2024) ODD-based query-time scenario mutation framework for autonomous driving scenario databases. In: 2024 IEEE International Conference on Robotics and Automation, Yokohama, Japan, 13-17 May 2024 (In Press)
Salako, Kizito and Zhao, Xingyu (2024) Demonstrating software reliability using possibly correlated tests : Insights from a conservative Bayesian approach. Quality and Reliability Engineering International, 40 (3). pp. 1197-1220. doi:10.1002/qre.3460 ISSN 0748-8017.
Salako, Kizito and Zhao, Xingyu (2024) Demonstrating software reliability using possibly correlated tests : insights from a conservative Bayesian approach. Quality and Reliability Engineering International, 40 (3). pp. 1197-1220. doi:10.1002/qre.3460 ISSN 0748-8017.
Dong, Yi, Zhao, Xingyu, Wang, Sen and Huang, Xiaowei (2024) Reachability verification-based reliability assessment for deep reinforcement learning controlled robotics and autonomous systems. IEEE Robotics and Automation Letters, 9 (4). pp. 3299-3306. doi:10.1109/LRA.2024.3364471 ISSN 2377-3766.
Bensalem, Saddek, Huang, Xiaowei, Ruan, Wenjie, Tang, Qiyi, Wu, Changshun and Zhao, Xingyu (2024) Bridging formal methods and machine learning with model checking and global optimisation. Journal of Logical and Algebraic Methods in Programming, 137 . 100941. doi:10.1016/j.jlamp.2023.100941 ISSN 23522208.
Tang, Yun, Bruto da Costa, Antonio A., Irvine, Patrick, Zhang, Yi, Zhao, Xingyu, Khastgir, Siddartha and Jennings, Paul. A. (2024) Extending scenario description languages for intelligence testing of autonomous vehicles. In: 2024 IEEE Intelligent Vehicles Symposium (IV), Jeju Island, Korea, 2-5 Jun 2024 (In Press)
2023
Huang, Wei, Zhao, Xingyu, Banks, Alec, Cox, Victoria and Huang, Xiaowei (2023) Hierarchical distribution-aware testing of deep learning. ACM Transactions on Software Engineering and Methodology, 33 (2). pp. 1-35. doi:10.1145/3625290 ISSN 1049-331X.
Bensalem, Saddek, Cheng, Chih-Hong, Huang, Wei, Huang, Xiaowei, Wu, Changshun and Zhao, Xingyu (2023) What, indeed, is an achievable provable guarantee for learning-enabled safety-critical systems. In: Bridging the Gap Between AI and Reality. AISoLA 2023, Crete, Greece, 23-28 Oct 2023. Published in: Bridging the Gap Between AI and Reality. AISoLA 2023, 14380 pp. 55-76. ISBN 9783031460012. doi:10.1007/978-3-031-46002-9_4 ISSN 0302-9743.
Yin, Xiangyu, Wu, Sihao, Liu, Jiaxu, Fang, Meng, Zhao, Xingyu, Huang, Xiaowei and Ruan, Wenjie (2023) ReRoGCRL : Representation-based Robustness in Goal-Conditioned Reinforcement Learning. In: The 38th Annual AAAI Conference on Artificial Intelligence (AAAI'24), Vancouver, Canada, 20-27 Feb 2024 . Published in: Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI'24) (In Press)
Dong, Yi, Li, Zhongguo, Zhao, Xingyu, Ding, Zhengtao and Huang, Xiaowei (2023) Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. In: International Conference on Autonomous Agents and Multiagent Systems. Published in: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems pp. 1421-1429. doi:10.5555/3545946.3598794
Dong, Yi, Huang, Wei, Bharti, Vibhav, Cox, Victoria, Banks, Alec, Wang, Sen, Zhao, Xingyu, Schewe, Sven and Huang, Xiaowei (2023) Reliability assessment and safety arguments for machine learning components in system assurance. ACM Transactions on Embedded Computing Systems, 22 (3). pp. 1-48. doi:10.1145/3570918 ISSN 1539-9087.
Dong, Yi, Chen, Yang, Zhao, Xingyu and Huang, Xiaowei (2023) Short-term load forecasting with distributed long short-term memory. In: 2023 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), Washington, DC, USA, 16-19 Jan 2023. Published in: 2023 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) pp. 1-5. doi:10.1109/ISGT51731.2023.10066368 ISSN 2472-8152.
Zhao, Xingyu, Gerasimou, Simos, Calinescu, Radu, Imrie, Calum, Robu, Valentin and Flynn, Valentin (2023) Bayesian learning for the robust verification of autonomous robots. Communications Engineering, 3 . 18. doi:10.1038/s44172-024-00162-y ISSN 2731-3395.
Huang, Wei, Zhao, Xingyu, Jin, Gaojie and Huang, Xiaowei (2023) SAFARI : Versatile and efficient evaluations for robustness of interpretability. In: International Conference on Computer Vision 2023, Paris, France, 02-06 Oct 2023 ISBN 9798350307184. doi:10.1109/ICCV51070.2023.00190 ISSN 2380-7504.
Salako, Kizito and Zhao, Xingyu (2023) The unnecessity of assuming statistically independent tests in Bayesian software reliability assessments. IEEE Transactions on Software Engineering, 49 (4). pp. 2829-2838. doi:10.1109/TSE.2022.3233802 ISSN 0098-5589.
Qi, Yi, Dong, Yi, Khastgir, Siddartha, Jennings, Paul. A., Zhao, Xingyu and Huang, Xiaowei (2023) STPA for learning-enabled systems : a survey and a new practice. In: 26th IEEE International Conference on Intelligent Transportation Systems ITSC 2023, Bilbao, Bizkaia, Spain, 24-28 Sep 2023 (In Press)
2022
Dong, Yi, Zhao, Xingyu and Huang, Xiaowei (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), Kyoto, Japan, 23-27 Oct 2022. Published in: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) pp. 5171-5178. doi:10.1109/IROS47612.2022.9981794 ISSN 2153-0866.
Huang, Xiaowei, Ruan, Wenjie, Tang, Qiyi and Zhao, Xingyu (2022) Bridging formal methods and machine learning with global optimisation. In: Formal Methods and Software Engineering. ICFEM 2022, Madrid, Spain, 24-27 Oct 2022. Published in: Formal Methods and Software Engineering. ICFEM 2022, 13478 pp. 1-19. ISBN 9783031172434. doi:10.1007/978-3-031-17244-1_1 ISSN 0302-9743.
Huang, Xiaowei, Peng, Bei and Zhao, Xingyu (2022) Dependable learning-enabled multiagent systems. AI Communications, 35 (4). pp. 407-420. doi:10.3233/AIC-220128 ISSN 0921-7126.
Huang, Wei, Sun, Youcheng, Zhao, Xingyu, Sharp, James, Ruan, Wenjie, Meng, Jie and Huang, Xiaowei (2022) Coverage-guided testing for recurrent neural networks. IEEE Transactions on Reliability, 71 (3). pp. 1191-1206. doi:10.1109/TR.2021.3080664 ISSN 0018-9529.
Huang, Wei, Zhao, Xingyu and Huang, Xiaowei (2022) Embedding and extraction of knowledge in tree ensemble classifiers. Machine Learning, 111 (5). pp. 1925-1958. doi:10.1007/s10994-021-06068-6 ISSN 0885-6125.
2021
Zhao, Xingyu, Huang, Wei, Schewe, Sven, Dong, Yi and Huang, Xiaowei (2021) Detecting operational adversarial examples for reliable deep learning. In: IEEE/IFIP International Conference on Dependable Systems and Networks, 21-24 Jun 2021. Published in: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) pp. 5-6. ISBN 9781665435666. doi:10.1109/DSN-S52858.2021.00013
Zhao, Xingyu, Huang, Wei, Schewe, Sven, Dong, Yi and Huang, Xiaowei (2021) Detecting operational adversarial examples for reliable deep learning. In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'21), Taipei, Taiwan, 21-24 Jun 2021 pp. 5-6. ISBN 9781665435666. doi:10.1109/DSN-S52858.2021.00013
Salako, Kizito, Strigini, Lorenzo and Zhao, Xingyu (2021) Conservative confidence bounds in safety, from generalised claims of improvement & statistical evidence. In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'21), Taipei, Taiwan, 21-24 Jun 2021 pp. 451-462. ISBN 9781665435727. doi:10.1109/DSN48987.2021.00055 ISSN 2158-3927.
Zhao, Xingyu, Huang, Wei, Huang, Xiaowei, Robu, Valentin and Flynn, David (2021) BayLIME : Bayesian local interpretable model-agnostic explanations. In: Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, Online, 27-30 Jul 2021. Published in: Proceedings of Machine Learning Research, 161 pp. 887-896.
2020
Zhao, Xingyu, Salako, Kizito, Strigini, Lorenzo, Robu, Valentin and Flynn, David (2020) Assessing safety-critical systems from operational testing : a study on autonomous vehicles. Information and Software Technology, 128 . 106393. doi:10.1016/j.infsof.2020.106393 ISSN 0950-5849.
Zhao, Xingyu, Banks, Alec, Sharp, James, Robu, Valentin, Flynn, David, Fisher, Michael and Huang, Xiaowei (2020) A safety framework for critical systems utilising deep neural networks. In: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, 16β18 Sep 2020. Published in: Computer Safety, Reliability, and Security. SAFECOMP 2020, 12234 pp. 244-259. ISBN 9783030545482. doi:10.1007/978-3-030-54549-9_16 ISSN 0302-9743.
Littlewood, Bev, Salako, Kizito, Strigini, Lorenzo and Zhao, Xingyu (2020) On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliability Engineering & System Safety, 197 . 106752. doi:10.1016/j.ress.2019.106752 ISSN 0951-8320.
Zhao, Xingyu, Robu, Valentin, Flynn, David, Salako, Kizito and Strigini, Lorenzo (2020) Assessing the safety and reliability of autonomous vehicles from road testing. In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Berlin, Germany, 28-31 Oct 2019 pp. 13-23. ISBN 9781728149820. doi:10.1109/ISSRE.2019.00012 ISSN 2332-6549.
2019
Zhao, Xingyu, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei, Fisher, Michael, Papacchini, Fabio and Ferrando, Angelo (2019) Towards integrating formal verification of autonomous robots with battery prognostics and health management. In: 17th International Conference, SEFM 2019, Oslo, Norway, 18β20 Sep 2019. Published in: Software Engineering and Formal Methods. SEFM 2019., 11724 pp. 105-124. ISBN 9783030304454. doi:10.1007/978-3-030-30446-1_6 ISSN 0302-9743.
Stetco, Adrian, Dinmohammadi, Fateme, Zhao, Xingyu, Robu, Valentin, Flynn, David, Barnes, Mike, Keane, John and Nenadic, Goran (2019) Machine learning methods for wind turbine condition monitoring : a review. Renewable Energy, 133 . pp. 620-635. doi:10.1016/j.renene.2018.10.047 ISSN 0960-1481.
2018
Zhao, Xingyu, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael and Webster, Matt (2018) Probabilistic model checking of robots deployed in extreme environments. In: AAAI Conference on Artificial Intelligence 2019. Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 33 (1). pp. 8066-8074. doi:10.1609/aaai.v33i01.33018066 ISSN 2159-5399.
Zhao, Xingyu, Littlewood, Bev, Povyakalo, Andrey, Strigini, Lorenzo and Wright, David (2018) Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliability Engineering & System Safety, 175 . pp. 265-282. doi:10.1016/j.ress.2018.03.032 ISSN 0951-8320.
2017
Zhao, Xingyu, Littlewood, Bev, Povyakalo, Andrey, Strigini, Lorenzo and Wright, David (2017) Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is βquasi-perfectβ. Reliability Engineering & System Safety, 158 . pp. 230-245. doi:10.1016/j.ress.2016.09.002 ISSN 0951-8320.
2016
Zhao, Xingyu, Littlewood, Bev, Povyakalo, Andrey and Wright, David (2016) Conservative claims about the probability of perfection of software-based systems. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), Gaithersbury, MD, USA, 2-5 Nov 2015 pp. 130-140. ISBN 9781509004065. doi:10.1109/ISSRE.2015.7381807
2014
Zhang, Da Jian, Lu, Min Yan and Zhao, Xingyu (2014) A dependability case construction approach based on dependability deviation analysis. Applied Mechanics and Materials, 543-547 . pp. 3682-3687. doi:10.4028/www.scientific.net/AMM.543-547.3682 ISSN 1662-7482.
2012
Zhao, Xingyu, Zhang, Dajian, Lu, Minyan and Zeng, Fuping (2012) A new approach to assessment of confidence in assurance cases. In: International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, Magdeburg, Germany, 25-28 Sep 2012. Published in: Computer Safety, Reliability, and Security. SAFECOMP 2012., 7613 pp. 79-91. ISBN 9783642336744. doi:10.1007/978-3-642-33675-1_7 ISSN 0302-9743.
This list was generated on Mon May 6 08:12:38 2024 BST.