Xiaowei Huang
发表
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
pdf
Yifan Zhou,
Wei Huang,
Xiaowei Huang,
2020,
ArXiv.
D. Kroening,
Hana Chockler,
Youcheng Sun,
2020,
ECCV.
Julian Togelius,
Quanshi Zhang,
Christopher W. Geib,
2019,
AI Mag..
Xiaowei Huang,
Wei Huang,
V. Robu,
2021
.
S. Maskell,
Wei Huang,
Yifan Zhou,
2020,
ArXiv.
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
pdf
Sven Schewe,
David Flynn,
Alec Banks,
2021,
AISafety@IJCAI.
Alec Banks,
Xiaowei Huang,
Xingyu Zhao,
2022,
ArXiv.
Xiaowei Huang,
P. Conmy,
Xing-E. Zhao,
2022,
AISafety@IJCAI.
David Flynn,
Valentin Robu,
Xingyu Zhao,
2020,
UAI.
Xiaowei Huang,
Xingyu Zhao,
Wei Huang,
2022,
ArXiv.
S. Schewe,
Xiaowei Huang,
Pengfei Yang,
2022,
Trans. Mach. Learn. Res..
Bei Peng,
Xiaowei Huang,
Xingyu Zhao,
2022,
AI Commun..
S. Schewe,
Alec Banks,
Xiaowei Huang,
2021,
ACM Trans. Embed. Comput. Syst..
Xiaowei Huang,
Alvaro Gunawan,
Ji Ruan,
2022,
AAMAS.
Xiaowei Huang,
Xingyu Zhao,
Yizhen Dong,
2021,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Yitian Zhao,
Ian J. C. MacCormick,
Yalin Zheng,
2021,
IEEE Transactions on Medical Imaging.
Lijun Zhang,
Chen Fu,
Yuan Feng,
2018,
IJCAI.
Xiaowei Huang,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
AAAI.
Min Wu,
Natasha Merat,
Morteza Lahijanian,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Fu Lee Wang,
Xiaowei Huang,
Wenjie Ruan,
2020,
2020 IEEE International Conference on Data Mining (ICDM).
Min Wu,
Sen Wang,
Xiaowei Huang,
2016,
CAV.
David Flynn,
Valentin Robu,
Michael Fisher,
2020,
SAFECOMP.
Xiaowei Huang,
Marta Z. Kwiatkowska,
Wenjie Ruan,
2018,
IJCAI.
Daniel Kroening,
Xinping Yi,
Xiaowei Huang,
2018,
Comput. Sci. Rev..
Daniel Kroening,
Min Wu,
Xinping Yi,
2018,
ArXiv.
A Little Energy Goes a Long Way: Build an Energy-Efficient, Accurate Spiking Neural Network From Convolutional Neural Network
pdf
Xinping Yi,
Xiaowei Huang,
Dengyu Wu,
2021,
Frontiers in Neuroscience.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yalin Zheng,
Yitian Zhao,
Xiaoyun Yang,
2021,
2021 IEEE/CVF International Conference on Computer Vision (ICCV).
Daniel Kroening,
Xiaowei Huang,
Min Wu,
2019,
IJCAI.
Liqian Chen,
Jiangchao Liu,
Renjue Li,
2021,
Formal Aspects of Computing.
Min Wu,
Matthew Wicker,
Xiaowei Huang,
2018,
Theor. Comput. Sci..
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
pdf
Liqian Chen,
Xiaowei Huang,
Jianlin Li,
2019,
SAS.
Matthew Wicker,
Xiaowei Huang,
Marta Z. Kwiatkowska,
2017,
TACAS.
Xiaowei Huang,
Xingyu Zhao,
Yi Qi,
2023,
ArXiv.
Xinping Yi,
Wenjie Ruan,
Xiaowei Huang,
2021,
CIKM.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
ACM Trans. Embed. Comput. Syst..
Tiehua Zhang,
Xi Zheng,
Yuze Liu,
2021,
ArXiv.
Fu Lee Wang,
Xiaowei Huang,
Geyong Min,
2023,
ArXiv.
Fu Lee Wang,
Xiaowei Huang,
Wenjie Ruan,
2023,
AAAI.
Xiaowei Huang,
Xinping Yi,
Gao Jin,
2023,
arXiv.org.
Xiaowei Huang,
Wenjie Ruan,
Peipei Xu,
2022,
Complex & Intelligent Systems.
Wei Huang,
Youcheng Sun,
Jie Meng,
2019,
IEEE Transactions on Reliability.
S. Schewe,
Wei Huang,
Xiaowei Huang,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
pdf
Sven Schewe,
Nicolas Berthier,
Xiaowei Huang,
2021,
ArXiv.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2018,
ArXiv.
Xiaowei Huang,
Xingyu Zhao,
Yizhen Dong,
2023,
ArXiv.
Fu Lee Wang,
Xiaowei Huang,
Wenjie Ruan,
2023,
Machine Learning.
Fu Lee Wang,
Xiaowei Huang,
Wenjie Ruan,
2023,
ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).
Xiaowei Huang,
Qiyi Tang,
Xingyu Zhao,
2022,
ICFEM.
Chengqiang Huang,
Ke Pei,
Xiaowei Huang,
2021,
ICANN.
Xiaowei Huang,
Xinping Yi,
Gao Jin,
2023,
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
S. Schewe,
Wei Huang,
Xiaowei Huang,
2022,
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Mustafa A. Mustafa,
Wei Huang,
Xiaowei Huang,
2023,
ArXiv.
Xiaowei Huang,
Louise A. Dennis,
Rafael C. Cardoso,
2020,
AREA@ECAI.
Yi Zhu,
Xiaowei Huang,
Zhiqiu Huang,
2020,
Journal of Advanced Transportation.
Angelo Ferrando,
Emily C. Collins,
Clare Dixon,
2021,
Robotics.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
ArXiv.
Xiaowei Huang,
Youcheng Sun,
James Sharp,
2019,
ArXiv.
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation
pdf
Yitian Zhao,
Xiaoyun Yang,
Hongrun Zhang,
2021,
BMVC.
Yalin Zheng,
Xiaowei Huang,
Yitian Zhao,
2020,
MICCAI.
Wei Meng,
Xiaowei Huang,
Yanda Meng,
2020,
ECCV.
Xiaowei Huang,
Xinping Yi,
Ganlin Liu,
2022,
ECCV.
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
pdf
Sven Schewe,
Alec Banks,
Vibhav Bharti,
2021,
ArXiv.
Xiaowei Huang,
Xingyu Zhao,
Yizhen Dong,
2021,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Xiaowei Huang,
Zhiqiu Huang,
Guohua Shen,
2021,
Concurr. Comput. Pract. Exp..
Xiaowei Huang,
V. Robu,
M. Fisher,
2019,
SEFM.
Marcelo d'Amorim,
Lucas C. Cordeiro,
Xiaowei Huang,
2020,
ArXiv.
Liang Zhang,
Sven Schewe,
Xinping Yi,
2020,
ArXiv.
Xiaowei Huang,
Wenjie Ruan,
Peipei Xu,
2020,
ArXiv.
Mustafa A. Mustafa,
Xiaowei Huang,
S. Bensalem,
2023,
Artif. Intell. Rev..
Lijun Zhang,
Bai Xue,
Holger Hermanns,
2020,
ESEC/SIGSOFT FSE.
Xiaowei Huang,
Xingyu Zhao,
Wei Huang,
2022,
arXiv.org.
Xiaowei Huang,
S. Bensalem,
Chih-Hong Cheng,
2023,
ArXiv.
Alec Banks,
Xiaowei Huang,
Xingyu Zhao,
2022,
ACM Trans. Softw. Eng. Methodol..
Xiaowei Huang,
S. Khastgir,
Xingyu Zhao,
2023,
2302.10588.
S. Maskell,
Wei Huang,
Yifan Zhou,
2020,
Neurocomputing.
Chris Xiaoxuan Lu,
Xiaowei Huang,
Kaiwen Cai,
2022,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Daniel Kroening,
Hana Chockler,
Xiaowei Huang,
2019,
ArXiv.
Xiaowei Huang,
2017
.
Chris Xiaoxuan Lu,
Xiaowei Huang,
Kaiwen Cai,
2022,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Wei Huang,
Youcheng Sun,
Jie Meng,
2019,
IEEE Transactions on Reliability.
Xiaowei Huang,
Xinping Yi,
Dengyu Wu,
2021,
Frontiers in Neuroscience.
Xiaowei Huang,
Xingyu Zhao,
Yizhen Dong,
2022,
IEEE Robotics and Automation Letters.
Xiaowei Huang,
V. Robu,
D. Flynn,
2020,
UAI.
Weizhu Qian,
Xiaowei Huang,
Bowei Chen,
2021,
ArXiv.
Xiaowei Huang,
Xingyu Zhao,
Yizhen Dong,
2021,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).