Home > Research > Researchers > Dr Wenjie Ruan > Publications

Research

Dr Wenjie Ruan

Lecturer

26 - 43 out of 43Page size: 25
RSS feed of this list
  1. 2018
  2. 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

  3. Published

    Concolic testing for deep neural networks

    Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3/09/2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. New York: Association for Computing Machinery (ACM), p. 109-119 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. 2019
  5. Published

    Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

    Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., 31/07/2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China. IJCAI, p. 5944-5952 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. 2020
  7. Published

    Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

    Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. 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

  9. Published

    AdaCare: Explainable Clinical Health Status Representation Learning via Scale Adaptive Feature Extraction and Recalibration

    Ma, L., Gao, J., Wang, Y., Wang, J., Ruan, W., Zhang, C., Tang, W., Gao, X. & Ma, X., 3/04/2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. AAAI, p. 825-832 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 1).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    ConCarE: Personalized Clinical Feature Embedding via Capturing the Healthcare Context

    Ma, L., Zhang, C., Wang, Y., Ruan, W., Wang, J., Tang, W., Ma, X., Gao, X. & Gao, J., 3/04/2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. AAAI, p. 833-840 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 1).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. 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

  12. 2021
  13. Published

    EV Charging Recommendation Concerning Preemptive Service and Charging Urgency Policy

    Liu, S., Cao, Y., Ruan, W., Ni, Q., Nati, M. & Suthaputchakun, C., 15/02/2021, 2020 IEEE 92nd Vehicular Technology Conference (VTC2020-Fall). IEEE, 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. 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

  15. Published

    Sparse Adversarial Video Attacks with Spatial Transformations

    Mu, R., Soriano Marcolino, L., Ruan, W. & Ni, Q., 22/11/2021.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  16. 2022
  17. 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

  18. 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

  19. 2023
  20. Published

    Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning

    Mu, R., Ruan, W., Soriano Marcolino, L., Jin, G. & Ni, Q., 7/02/2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. 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

  22. Forthcoming

    ReCePS: Reward Certification for Policy Smoothed Reinforcement Learning

    Mu, R., Soriano Marcolino, L., Zhang, T., Zhang, Y., Huang, X. & Ruan, W., 10/12/2023, (Accepted/In press) Conference on Artificial Intelligence (AAAI-24): SRRAI Special Track.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  23. 2024
  24. Published

    Enhancing robustness in video recognition models: Sparse adversarial attacks and beyond

    Mu, R., Marcolino, L., Ni, Q. & Ruan, W., 31/03/2024, In: Neural Networks. 171, p. 127-143 17 p.

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

  25. Published

    DIMBA: discretely masked black-box attack in single object tracking

    Yin, X., Ruan, W. & Fieldsend, J., 1/04/2024, In: Machine Learning. 113, 4, p. 1705-1723 19 p.

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

Previous 1 2 Next

Back to top