Ruan, Wenjie
288  results:
Search for persons X
?
 
?
2

Bridging formal methods and machine learning with model che..:

Bensalem, Saddek ; Huang, Xiaowei ; Ruan, Wenjie...
Journal of Logical and Algebraic Methods in Programming.  137 (2024)  - p. 100941 , 2024
 
?
 
?
5

Adversarial Driving: Attacking End-to-End Autonomous Drivin:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Wu, Han ; Yunas, Syed ; Rowlands, Sareh.. - p. 1-7 , 2023
 
?
7

Sora: Scalable Black-Box Reachability Analyser on Neural Ne..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),
Xu, Peipei ; Wang, Fu ; Ruan, Wenjie.. - p. 1-5 , 2023
 
?
10

Adversarial Detection: Attacking Object Detection in Real T..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Wu, Han ; Yunas, Syed ; Rowlands, Sareh.. - p. 1-7 , 2023
 
?
11

Machine Learning Safety 

Artificial Intelligence: Foundations, Theory, and Algorithms
Huang, Xiaowei ; Jin, Gaojie ; Ruan, Wenjie - 1st ed. 2023 . , 2023
 
?
13

Quantifying safety risks of deep neural networks:

Xu, Peipei ; Ruan, Wenjie ; Huang, Xiaowei
Complex & Intelligent Systems.  9 (2022)  4 - p. 3801-3818 , 2022
 
?
14

An intelligent stochastic optimization approach for stochas..:

Zhang, Zhenzhong ; Guo, Chunxiang ; Ruan, Wenjie..
Computers & Industrial Engineering.  167 (2022)  - p. 108008 , 2022
 
?
15

Enhancing Robust Text Classification via Category Descripti..:

, In: 2022 IEEE International Conference on Data Mining (ICDM),
Gao, Xin ; Zhu, Zhengye ; Chu, Xu... - p. 151-160 , 2022
 
1-15