Home > Research > Researchers > Dr Wenjie Ruan > Publications

Research

Dr Wenjie Ruan

Lecturer

31 - 40 out of 43Page size: 10
RSS feed of this list
Sort by: Type
  1. Journal article
  2. Published

    Quantifying safety risks of deep neural networks

    Xu, P., Ruan, W. & Huang, X., 31/08/2023, In: Complex & Intelligent Systems. 9, 4, p. 3801-3818 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    3DVerifier: efficient robustness verification for 3D point cloud models

    Mu, R., Ruan, W., Soriano Marcolino, L. & Ni, Q., 2/11/2022, In: Machine Learning. 2022, 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Coverage-Guided Testing for Recurrent Neural Networks

    Huang, W., Sun, Y., Zhao, X., Sharp, J., Ruan, W., Meng, J. & Huang, X., 30/09/2022, In: IEEE Transactions on Reliability. 71, 3, p. 1191-1206 16 p., 3.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation

    Chen, D., Wang, J., Ruan, W., Ni, Q. & Helal, S., 30/04/2021, In: ACM Transactions on Computing for Healthcare. 2, 2, p. 1-19 19 p., 11.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

    Huang, X., Kroening, D., Ruan, W., Sharp, J., Sun, Y., Thamo, E., Wu, M. & Yi, X., 1/08/2020, In: Computer Science Review. 37, 35 p., 100270.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection

    Ruan, W., Sheng, Q. Z., Xu, P., Yang, L., Gu, T. & Shangguan, L., 1/09/2018, In: IEEE Transactions on Mobile Computing. 17, 9, p. 2087-2100 14 p., 8067452.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process

    Zhou, F., Peng, H., Ruan, W., Wang, D., Liu, M., Gu, Y. & Li, L., 1/08/2018, In: Neural Computing and Applications. 30, 4, p. 1039-1053 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach

    Ruan, W., Sheng, Q. Z., Yao, L., Li, X., Falkner, N. J. G. & Yang, L., 15/02/2018, In: Journal of Network and Computer Applications. 104, p. 78-96 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength

    Yao, L., Sheng, Q. Z., Li, X., Gu, T., Tan, M., Wang, X., Wang, S. & Ruan, W., 1/02/2018, In: IEEE Transactions on Mobile Computing. 17, 2, p. 293-306 14 p., 7938705.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 4 5 Next

Back to top