Browse by People

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


Meng, Yanda ORCID: 0000-0001-7344-2174, Chen, Xu, Gao, Dongxu, Zhao, Yitian, Yang, Xiaoyun, Qiao, Yihong, Huang, Xiaowei and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2022) 3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs. [Preprint]


Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2021) Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. [Preprint]


Stringer, Peter ORCID: 0000-0002-8760-4717, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Dennis, Louise A ORCID: 0000-0003-1426-1896 (2020) Adaptable and Verifiable BDI Reasoning*. In: Agents and Robots for Reliable Engineered Autonomy.


Liu, Ganlin, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Yi, Xinping ORCID: 0000-0001-5163-2364 (2022) Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation. .


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.


Meng, Yanda ORCID: 0000-0001-7344-2174, Zhang, Hongrun, Gao, Dongxu, Zhao, Yitian, Yang, Xiaoyun, Qian, Xuesheng, Huang, Xiaowei and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2021) BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. .


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.


Meng, Yanda ORCID: 0000-0001-7344-2174, Wei, Meng, Gao, Dongxu ORCID: 0000-0001-7008-0737, Zhao, Yitian, Yang, Xiaoyun, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2020) CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation. In: MICCAI, Lima, Peru.


Wang, Kangshi, Ma, Jieming, Man, Ka Lok, Huang, Kaizhu and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Comparative study of modern heuristic algorithms for global maximum power point tracking in photovoltaic systems under partial shading conditions. FRONTIERS IN ENERGY RESEARCH, 10. 946864-.


Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic Testing for Deep Neural Networks. In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018-9-3 - 2018-9-7, Montpellier, France.


Meng, Yanda ORCID: 0000-0001-7344-2174, Bridge, Joshua, Wei, Meng, Zhao, Yitian, Qiao, Yihong, Yang, Xiaoyun, Huang, Xiaowei and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2022) Counting with Adaptive Auxiliary Learning. [Preprint]


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.


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.


Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Huang, Wei, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Enhancing Adversarial Training with Second-Order Statistics of Weights. In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022-6-18 - 2022-6-24.


Yang, Pengfei, Li, Jianlin, Liu, Jiangchao, Huang, Cheng-Chao, Li, Renjue, Chen, Liqian, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zhang, Lijun (2021) Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. FORMAL ASPECTS OF COMPUTING, 33 (3). pp. 407-435.


Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Meyden, Ron van der (2018) An Epistemic Strategy Logic. ACM Transactions on Computational Logic, 19 (4).


Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Meyden, Ron van der (2018) An Epistemic Strategy Logic. ACM Transactions on Computational Logic, 19 (4). pp. 1-45.


Wicker, Matthew, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta (2018) Feature-Guided Black-Box Safety Testing of Deep Neural Networks. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.


Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan and Peled, Doron (2022) Formal Specification for Learning-Enabled Autonomous Systems. .


Wu, Min, Wicker, Matthew, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta (2020) A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Theoretical Computer Science, 807. pp. 298-329.


Zhang, Yanghao, Ruan, Wenjie, Wang, Fu and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. In: 2020 IEEE International Conference on Data Mining (ICDM), 2020-11-17 - 2020-11-20.


Meng, Yanda ORCID: 0000-0001-7344-2174, Zhang, Hongrun, Zhao, Yitian, Yang, Xiaoyun, Qiao, Yihong, MacCormick, Ian JC, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2022) Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation. IEEE TRANSACTIONS ON MEDICAL IMAGING, 41 (3). pp. 690-701.


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.


Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Zhang, Liang, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. .


Wu, Dengyu ORCID: 0000-0003-3699-4273, Yi, Xinping ORCID: 0000-0001-5163-2364 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) A Little Energy Goes a Long Way: Build an Energy-Efficient, Accurate Spiking Neural Network From Convolutional Neural Network. Frontiers in neuroscience, 16. p. 759900.


Li, Jing (2023) Long-Tailed Oracle Character Recognition. PhD thesis, University of Liverpool.


Li, Hui (2022) Matching and Segmentation for Multimedia Data. PhD thesis, University of Liverpool.


Fu, Chen, Turrini, Andrea, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Song, Lei, Feng, Yuan and Zhang, Lijun (2018) Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19, Stockholm, Sweden.


Fang, Sunzhenhe, Huang, Xiaowei, Zhang, Xue, Zhang, Minhua, Hao, Yahui, Guo, Hui, Liu, Lu-Ning ORCID: 0000-0002-8884-4819, Yu, Fang and Zhang, Peng (2021) Molecular mechanism underlying transport and allosteric inhibition of bicarbonate transporter SbtA. Proceedings of the National Academy of Sciences, 118 (22). e2101632118-e2101632118.


Ma, Wuwei, Yang, Xi, Wang, Qiufeng, Huang, Kaizhu and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Multi-Scope Feature Extraction for Intracranial Aneurysm 3D Point Cloud Completion. CELLS, 11 (24). 4107-.


Wang, Jinyong, Huang, Zhiqiu, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Zhu, Yi and Wang, Fei (2020) Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. JOURNAL OF ADVANCED TRANSPORTATION, 2020. 6047145-.


Chen, Zhen, Wang, Fu, Mu, Ronghui, Xu, Peipei, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Ruan, Wenjie (2024) Nrat: towards adversarial training with inherent label noise. Machine Learning. pp. 1-22.


Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.


Zheng, Dingyuan (2022) Person Re-identification with and without Supervision. PhD thesis, University of Liverpool.


Huang, Wei, Zhou, Yifan ORCID: 0000-0002-1477-5777, Sun, Youcheng, Sharp, James, Maskell, Simon ORCID: 0000-0003-1917-2913 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) Practical Verification of Neural Network Enabled State Estimation System for Robotics. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020-10-24 - 2021-1-24.


Dong, Yi ORCID: 0000-0003-3047-7777, Wang, Yingjie, Gama, Mariana, Mustafa, Mustafa A, Deconinck, Geert and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2024) Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. IEEE Internet of Things Journal, PP (99). p. 1.


Xu, Peipei ORCID: 0000-0001-5866-2814, Ruan, Wenjie and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Quantifying safety risks of deep neural networks. Complex and Intelligent Systems, 9 (4). pp. 3801-3818.


Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta (2018) Reachability Analysis of Deep Neural Networks with Provable Guarantees. In: 27th International Joint Conference on Artificial Intelligence, 2018-7-13 - 2018-7-19, Stockholm, Sweden.


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, 9 (4). pp. 1-8.


Meng, Yanda ORCID: 0000-0001-7344-2174, Meng, Wei, Gao, Dongxu ORCID: 0000-0001-7008-0737, Zhao, Yitian, Yang, Xiaoyun, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2020) Regression of Instance Boundary by Aggregated CNN and GCN. In: ECCV, 2020-8-23 - 2020-7-28, Edinburgh, UK.


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.


Sun, Youcheng, Zhou, Yifan ORCID: 0000-0002-1477-5777, Maskell, Simon ORCID: 0000-0003-1917-2913, Sharp, James and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) Reliability Validation of Learning Enabled Vehicle Tracking. 2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 00. pp. 9390-9396.


Jin, Gaojie (2023) Reliable Deep Neural Networks with Randomised Weights. PhD thesis, University of Liverpool.


Huang, Wei, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Jin, Gaojie and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2023) SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. In: 2023 IEEE/CVF International Conference on Computer Vision (ICCV), 2023-10-1 - 2023-10-6.


Cai, Kaiwen, Lu, Chris Xiaoxuan and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) STUN: Self-Teaching Uncertainty Estimation for Place Recognition. 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, Kwiatkowska, Marta, Wang, Sen and Wu, Min (2017) Safety Verification of Deep Neural Networks. In: Computer Aided Verification - 29th International Conference, CAV 2017, 2017-7-24 - 2017-7-28, Heidelberg, Germany.


Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2021) Safety and reliability of deep learning. In: CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021.


Alshareef, Amany (2023) A Semantic Testing Approach for Deep Neural Networks Using Bayesian Network Abstraction. Doctor of Philosophy thesis, University of Liverpool.


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.


Dong, Yi ORCID: 0000-0003-3047-7777, 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.


Meng, Yanda ORCID: 0000-0001-7344-2174, Zhang, Hongrun, Zhao, Yitian, Yang, Xiaoyun, Qian, Xuesheng, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2021) Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV), 2021-10-10 - 2021-10-17.


Sun, Youcheng, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Sharp, James, Hill, Matthew and Ashmore, Rob (2019) Structural Test Coverage Criteria for Deep Neural Networks. ACM Transactions on Embedded Computing Systems, 18 (5S). pp. 1-23.


Sun, Youcheng, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Sharp, James, Hill, Matthew and Ashmore, Rob (2019) Structural Test Coverage Criteria for Deep Neural Networks. 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019). pp. 320-321.


Wang, Chengcheng, Sun, Bo, Zhang, Xue, Huang, Xiaowei, Zhang, Minhua, Guo, Hui, Chen, Xin, Huang, Fang, Chen, Taiyu, Mi, Hualing et al (show 3 more authors) (2019) Structural mechanism of the active bicarbonate transporter from cyanobacteria. NATURE PLANTS, 5 (11). 1184-+.


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. .


Meng, Yanda ORCID: 0000-0001-7344-2174, Bridge, Joshua, Zhao, Yitian, Joddrell, Martha, Qiao, Yihong, Yang, Xiaoyun, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zheng, Yalin ORCID: 0000-0002-7873-0922 (2023) Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 24 (3). pp. 3422-3437.


Cai, Kaiwen, Lu, Chris Xiaoxuan and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2023) Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings. IEEE Robotics and Automation Letters, 8 (5). pp. 2558-2565.


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


Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Yang, Pengfei, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei (2022) Weight Expansion: A New Perspective on Dropout and Generalization. Transactions on Machine Learning Research.


Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Ruan, Wenjie, Sharp, James, Sun, Youcheng, Thamo, Emese, Wu, Min and Yi, Xinping ORCID: 0000-0001-5163-2364 (2020) A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability? COMPUTER SCIENCE REVIEW, 37. p. 100270.

This list was generated on Sat Apr 13 06:04:34 2024 BST.