Xiaowei Huang
Orcid: 0000-0001-6267-0366Affiliations:
- University of Liverpool, UK
- University of Oxford, UK
- University of New South Wales, Sydney, Australia
- Jinan University, Guangzhou, China
- Chinese Academy of Sciences, Academy of Mathematics and System Science, Beijing, China
According to our database1,
Xiaowei Huang
authored at least 167 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev., July, 2024
Mach. Learn., June, 2024
IEEE Internet Things J., May, 2024
ACM Trans. Multim. Comput. Commun. Appl., April, 2024
IEEE Trans. Fuzzy Syst., April, 2024
ACM Trans. Softw. Eng. Methodol., February, 2024
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program., February, 2024
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
IEEE Robotics Autom. Lett., 2024
Formal verification of robustness and resilience of learning-enabled state estimation systems.
Neurocomputing, 2024
Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist.
CoRR, 2024
Tiny Refinements Elicit Resilience: Toward Efficient Prefix-Model Against LLM Red-Teaming.
CoRR, 2024
Direct Training Needs Regularisation: Anytime Optimal Inference Spiking Neural Network.
CoRR, 2024
CoRR, 2024
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation.
CoRR, 2024
Proceedings of the Theoretical Aspects of Software Engineering, 2024
Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation.
Proceedings of the IEEE International Conference on Acoustics, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
J. Comput. Sci. Technol., September, 2023
IEEE Robotics Autom. Lett., May, 2023
Mach. Learn., May, 2023
IEEE Trans. Intell. Transp. Syst., March, 2023
Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-981-19-6813-6, 2023
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM Trans. Embed. Comput. Syst., 2023
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.
CoRR, 2023
Top-K Pooling with Patch Contrastive Learning for Weakly-Supervised Semantic Segmentation.
CoRR, 2023
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.
CoRR, 2023
CoRR, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
Proceedings of the 31st ACM International Conference on Multimedia, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023
Proceedings of the Neural Information Processing - 30th International Conference, 2023
Proceedings of the International Conference on Machine Learning and Cybernetics, 2023
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Proceedings of the IEEE International Conference on Acoustics, 2023
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Trans. Mach. Learn. Res., 2022
IEEE Trans. Medical Imaging, 2022
Softw. Syst. Model., 2022
Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification.
Pattern Recognit., 2022
Mach. Learn., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022
Proceedings of the Formal Methods and Software Engineering, 2022
Proceedings of the Computer Vision - ECCV 2022, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
2021
Robotics, 2021
Formal Aspects Comput., 2021
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.
CoRR, 2021
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.
CoRR, 2021
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.
CoRR, 2021
A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks.
CoRR, 2021
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021
Proceedings of the Neural Information Processing - 28th International Conference, 2021
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation.
Proceedings of the 32nd British Machine Vision Conference 2021, 2021
2020
A game-based approximate verification of deep neural networks with provable guarantees.
Theor. Comput. Sci., 2020
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev., 2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
CoRR, 2020
CoRR, 2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.
AI Mag., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020
Practical Verification of Neural Network Enabled State Estimation System for Robotics.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Proceedings of the 20th IEEE International Conference on Data Mining, 2020
Proceedings of the Computer Vision - ECCV 2020, 2020
Proceedings of the Computer Vision - ECCV 2020, 2020
2019
ACM Trans. Comput. Log., 2019
ACM Trans. Embed. Comput. Syst., 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR, 2019
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.
AI Mag., 2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
Proceedings of the Static Analysis - 26th International Symposium, 2019
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Advances in Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
2012
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011
Proceedings of the IJCAI 2011, 2011
2010
J. Log. Algebraic Methods Program., 2010
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J., 2010
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009
2008
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008
2007
A Modular Petri Net Used in Synchronous Communication of Sequential Processes.
Proceedings of the 2007 International Conference on Modeling, 2007
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
Proceedings of the Information and Communications Security, 9th International Conference, 2007
A Semantic Preorder Combining ST Notion and Fair Testing Semantic.
Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007