Up a level |
Dong, Yi ORCID: 0000-0003-3047-7777, Huang, Wei, Bharti, Vibhav, Cox, Victoria, Banks, Alec, Wang, Sen, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2023)
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 22 (3).
pp. 1-48.
Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta, Wang, Sen and Wu, Min
(2017)
Safety Verification of Deep Neural Networks.
In: Computer Aided Verification - 29th International Conference, CAV 2017, 2017-7-24 - 2017-7-28, Heidelberg, Germany.
Lu, Chris Xiaoxuan, Du, Bowen, Wen, Hongkai, Wang, Sen, Markham, Andrew, Martinovic, Ivan, Shen, Yiran and Trigoni, Niki
(2018)
Snoopy: Sniffing Your Smartwatch Passwords via Deep Sequence Learning.
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 1 (4).
pp. 1-29.
Li, Ping, Ning, Yujie, Wang, Weizhuo, Guo, Xiong, Poulet, Blandine, Wang, Xi, Wen, Yan, Han, Jing, Hao, Jingcan, Liang, Xiao et al (show 15 more authors)
(2020)
The integrative analysis of DNA methylation and mRNA expression profiles confirmed the role of selenocompound metabolism pathway in Kashin-Beck disease.
CELL CYCLE, 19 (18).
pp. 2351-2366.