Browse by People


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


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-09-03 - 2018-09-07, Montpellier, France.


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


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


Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2018) Reachability Analysis of Deep Neural Networks with Provable Guarantees. .


Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta, Wang, Sen and Wu, Min
(2017) Safety Verification of Deep Neural Networks. .


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.


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
A Survey of Safety and Trustworthiness of Deep Neural Networks.


Zhao, Xingyu, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei, Fisher, Michael ORCID: 0000-0002-0875-3862, Papacchini, Fabio and Ferrando, Angelo ORCID: 0000-0002-8711-4670
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Proceedings of 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway (September 2019).

This list was generated on Sun Nov 3 15:59:03 2019 GMT.