( en | de | ru )

 

Disambiguation of "Huang, Xiaowei"

Author of the publication

copydeleteadd this publication to your clipboard
PRODeep: a platform for robustness verification of deep neural networks.

, , , , , , , and . ESEC/SIGSOFT FSE, page 1630-1634. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiaowei Wu

Xiaowei Lan

Xiaowei Xu

Xiaowei Chen

Xiaowei Ding

 

Other publications of authors with the same name

Feature-Guided Black-Box Safety Testing of Deep Neural Networks., , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 408-426. Springer, (2018)A Safety Framework for Critical Systems Utilising Deep Neural Networks., , , , , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 244-259. Springer, (2020)CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation., , , , , , and . MICCAI (4), volume 12264 of Lecture Notes in Computer Science, page 352-362. Springer, (2020)Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles., , , , , , and . IROS, page 6210-6216. IEEE, (2019)Weak Parametric Failure Equivalences and Their Congruence Formats., , and . CATS, volume 77 of CRPIT, page 15-26. Australian Computer Society, (2008)Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management., , , , , , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 105-124. Springer, (2019)Detecting Operational Adversarial Examples for Reliable Deep Learning., , , , and . DSN (Supplements), page 5-6. IEEE, (2021)BayLIME: Bayesian local interpretable model-agnostic explanations., , , , and . UAI, volume 161 of Proceedings of Machine Learning Research, page 887-896. AUAI Press, (2021)Quantified Coalition Logic of Knowledge, Belief and Certainty., , , and . Canadian AI, volume 10233 of Lecture Notes in Computer Science, page 351-360. (2017)EnnCore: End-to-End Conceptual Guarding of Neural Architectures., , , , , , , , , and 1 other author(s). SafeAI@AAAI, volume 3087 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)