Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDXiaowei Huang 0001
Person information
- affiliation: University of Liverpool, UK
- affiliation: University of Oxford, UK
- affiliation: University of New South Wales, Sydney, Australia
- affiliation: Jinan University, Guangzhou, China
- affiliation: Chinese Academy of Sciences, Academy of Mathematics and System Science, Beijing, China
Other persons with the same name
- Xiaowei Huang (aka: Xiao-Wei Huang) — disambiguation page
- Xiaowei Huang 0002
![[0000-0002-7625-6198]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-7625-6198")
— Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Shenzhen, China (and 1 more) - Xiaowei Huang 0003 — Wuhan University of Technology, Wuhan, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j9]Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi:
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37: 100270 (2020)- [j8]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807: 298-329 (2020) - [c49]Yanda Meng, Wei Meng, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
Regression of Instance Boundary by Aggregated CNN and GCN. ECCV (8) 2020: 190-207 - [c48]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [c47]Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. ICRA 2020: 9390-9396 - [c46]Yanda Meng, Meng Wei, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation. MICCAI (4) 2020: 352-362 - [c45]Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? NeurIPS 2020 - [c44]Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP 2020: 244-259 - [c43]Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns:
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [c42]Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. AREA@ECAI 2020: 117-125 - [e4]Huáscar Espinoza, José Hernández-Orallo, Xin Cynthia Chen, Seán S. ÓhÉigeartaigh, Xiaowei Huang, Mauricio Castillo-Effen, Richard Mallah, John McDermid:
Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th AAAI Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020. CEUR Workshop Proceedings 2560, CEUR-WS.org 2020 [contents] - [e3]Huáscar Espinoza, John McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, January, 2021. CEUR Workshop Proceedings 2640, CEUR-WS.org 2020 [contents] - [i26]Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. CoRR abs/2002.02424 (2020) - [i25]Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR abs/2003.05311 (2020) - [i24]João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang:
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR abs/2007.05315 (2020) - [i23]Zhixuan Xu, Minghui Qian, Xiaowei Huang, Jie Meng:
CasGCN: Predicting future cascade growth based on information diffusion graph. CoRR abs/2009.05152 (2020) - [i22]Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards the Quantification of Safety Risks in Deep Neural Networks. CoRR abs/2009.06114 (2020) - [i21]Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. CoRR abs/2010.05983 (2020) - [i20]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. CoRR abs/2010.07788 (2020) - [i19]Wei Huang, Xingyu Zhao, Xiaowei Huang:
Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. CoRR abs/2010.08281 (2020) - [i18]Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang:
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR abs/2010.08311 (2020) - [i17]Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn:
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. CoRR abs/2012.03058 (2020)
2010 – 2019
- 2019
- [j7]Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni:
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. 40(3): 67-78 (2019) - [j6]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18(5s): 94:1-94:23 (2019) - [j5]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Trans. Comput. Log. 20(4): 21:1-21:64 (2019) - [c41]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) 2019: 111-114 - [c40]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) 2019: 320-321 - [c39]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI 2019: 5944-5952 - [c38]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [c37]Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS 2019: 296-319 - [c36]Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124 - [e2]Huáscar Espinoza, Seán Ó hÉigeartaigh, Xiaowei Huang, José Hernández-Orallo, Mauricio Castillo-Effen:
Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), Honolulu, Hawaii, January 27, 2019. CEUR Workshop Proceedings 2301, CEUR-WS.org 2019 [contents] - [e1]Huáscar Espinoza, Han Yu, Xiaowei Huang, Freddy Lécué, Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019. CEUR Workshop Proceedings 2419, CEUR-WS.org 2019 [contents] - [i16]Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR abs/1902.09866 (2019) - [i15]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. CoRR abs/1905.06627 (2019) - [i14]Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp:
testRNN: Coverage-guided Testing on Recurrent Neural Networks. CoRR abs/1906.08557 (2019) - [i13]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - [i12]Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR abs/1909.03019 (2019) - [i11]Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang:
Test Metrics for Recurrent Neural Networks. CoRR abs/1911.01952 (2019) - 2018
- [j4]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. ACM Trans. Comput. Log. 19(4): 26:1-26:45 (2018) - [c35]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI 2018: 2651-2659 - [c34]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI 2018: 4757-4763 - [c33]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c32]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. TACAS (1) 2018: 408-426 - [i10]Youcheng Sun, Xiaowei Huang, Daniel Kroening:
Testing Deep Neural Networks. CoRR abs/1803.04792 (2018) - [i9]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR abs/1804.05805 (2018) - [i8]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - [i7]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. CoRR abs/1805.02242 (2018) - [i6]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR abs/1807.03571 (2018) - 2017
- [c31]Xiaowei Huang, Marta Zofia Kwiatkowska:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. AAAI 2017: 3768-3774 - [c30]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar:
Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian Conference on AI 2017: 351-360 - [c29]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CAV (1) 2017: 3-29 - [c28]Xiaowei Huang, Ji Ruan:
ATL Strategic Reasoning Meets Correlated Equilibrium. IJCAI 2017: 1102-1108 - [i5]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs/1710.07859 (2017) - 2016
- [c27]Xiaowei Huang, Qingliang Chen, Kaile Su:
Strengthening Agents Strategic Ability with Communication. AAAI 2016: 2509-2515 - [c26]Xiaowei Huang, Marta Kwiatkowska:
Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI 2016: 2516-2522 - [c25]Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su:
Reconfigurability in Reactive Multiagent Systems. IJCAI 2016: 315-321 - [c24]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: The Dynamic Generalization. IJCAI 2016: 1123-1129 - [i4]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: A Dynamic Generalization. CoRR abs/1604.05086 (2016) - [i3]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CoRR abs/1610.06940 (2016) - 2015
- [j3]Xiaowei Huang:
Bounded model checking of strategy ability with perfect recall. Artif. Intell. 222: 182-200 (2015) - [c23]Xiaowei Huang, Qingliang Chen, Kaile Su:
The Complexity of Model Checking Succinct Multiagent Systems. IJCAI 2015: 1076-1082 - [c22]Xiaowei Huang, Ron van der Meyden:
The complexity of approximations for epistemic synthesis (extended abstract). SYNT 2015: 120-137 - 2014
- [c21]Xiaowei Huang, Ron van der Meyden:
Symbolic Model Checking Epistemic Strategy Logic. AAAI 2014: 1426-1432 - [c20]Xiaowei Huang, Ron van der Meyden:
A Temporal Logic of Strategic Knowledge. KR 2014 - [c19]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis for Epistemic Specifications with Observational Semantics. TACAS 2014: 455-469 - [c18]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic (Extended Abstract). SR 2014: 35-41 - [i2]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. CoRR abs/1409.2193 (2014) - 2013
- [c17]Xiaowei Huang, Cheng Luo:
A logic of probabilistic knowledge and strategy. AAMAS 2013: 845-852 - [c16]Xiaowei Huang:
Diagnosability in concurrent probabilistic systems. AAMAS 2013: 853-860 - [c15]Xiaowei Huang:
Bounded planning for strategic goals with incomplete information and perfect recall. AAMAS 2013: 885-892 - [c14]Xiaowei Huang, Ji Ruan, Michael Thielscher:
Model Checking for Reasoning about Incomplete Information Games. Australasian Conference on Artificial Intelligence 2013: 246-258 - [c13]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. TARK 2013 - [i1]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. CoRR abs/1310.6423 (2013) - 2012
- [c12]Xiaowei Huang, Ron van der Meyden:
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. AAAI 2012 - [c11]Xiaowei Huang, Kaile Su, Chenyi Zhang:
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI 2012 - 2011
- [c10]Xiaowei Huang, Patrick Maupin, Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games. IJCAI 2011: 240-245 - [c9]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Symbolic model checking of probabilistic knowledge. TARK 2011: 177-186 - 2010
- [j2]Xiaowei Huang, Li Jiao, Weiming Lu:
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J. 53(1): 21-36 (2010) - [j1]Xiaowei Huang, Li Jiao, Weiming Lu:
A precongruence format for should testing preorder. J. Log. Algebraic Methods Program. 79(3-5): 245-263 (2010) - [c8]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved bounded model checking for a fair branching-time temporal epistemic logic. AAMAS 2010: 1403-1404 - [c7]Xiaowei Huang, Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. ECAI 2010: 549-554 - [c6]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt 2010: 95-111
2000 – 2009
- 2009
- [c5]Xiaowei Huang, Ron van der Meyden:
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence 2009: 11-20 - 2008
- [c4]Xiaowei Huang, Li Jiao, Weiming Lu:
Weak Parametric Failure Equivalences and Their Congruence Formats. CATS 2008: 15-26 - 2007
- [c3]Xiaowei Huang, Jie Meng:
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. FCS 2007: 82-88 - [c2]Xiaowei Huang, Li Jiao, Weiming Lu:
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS 2007: 334-349 - [c1]Xiaowei Huang, Jie Meng:
A Modular Petri Net Used in Synchronous Communication of Sequential Processes. MSV 2007: 194-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
