Modeling and validation for embedded software confidentiality and integrity. - Xinwen Hu; Yi Zhuang 002; Zining Cao; Tong Ye; Mi Li (ISKE, 2017)

一种结合AADL与Z的嵌入式软件可靠性建模与评估方法 (Embedded Software Reliability Model and Evaluation Method Combining AADL and Z). - Mi Li; Yi Zhuang 002; Xinwen Hu (计算机科学, 2019)

Human Object Interaction Detection via Multi-level Conditioned Network. - Xu Sun 009; Xinwen Hu; Tongwei Ren; Gangshan Wu (ICMR, 2020)

PHRiMA: A permission-based hybrid risk management framework for android apps. - Xinwen Hu; Yi Zhuang 002 (Comput. Secur., 2020)

A security modeling and verification method of embedded software based on Z and MARTE. - Xinwen Hu; Yi Zhuang 002; Fuyuan Zhang (Comput. Secur., 2020)

A security type verifier for smart contracts. - Xinwen Hu; Yi Zhuang 002; Shangwei Lin 001; Fuyuan Zhang; Shuanglong Kan; Zining Cao (Comput. Secur., 2021)

Lighting up supervised learning in user review-based code localization: dataset and benchmark. - Xinwen Hu; Yu Guo; Jianjie Lu; Zheling Zhu; Chuanyi Li; Jidong Ge; Liguo Huang; Bin Luo 003 (ESEC/SIGSOFT FSE, 2022)

Rich Structural Index for Stereoscopic Image Quality Assessment. - Hua Zhang; Xinwen Hu; Ruoyun Gou; Lingjun Zhang; Bolun Zheng; Zhuonan Shen (Sensors, 2022)

DeepGemini: Verifying Dependency Fairness for Deep Neural Network. - Xuan Xie; Fuyuan Zhang; Xinwen Hu; Lei Ma 003 (AAAI, 2023)

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. - Fuyuan Zhang; Xinwen Hu; Lei Ma 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2023)

TySA: Enforcing Security Policies for Safeguarding Against Permission-Induced Attacks in Android Applications. - Xinwen Hu (IEEE Access, 2024)

Calibration of flow differential pressure coefficients on pump-turbine by thermodynamic method. - Wenkui Zhang; Hongyi Xu; Wei Liu; Xinwen Hu; Juan Liu (Energy Inform., 2024)

A Timed-Permission Access Control Profile Within MARTE. - Xinwen Hu (IEEE Access, 2025)