Ruan, Wenjie
410  results:
Search for persons X
?
 
?
 
?
4

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 Detection: Attacking Object Detection in Real T..:

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

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
 
?
7

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

Understanding Adversarial Robustness of Vision Transformers..:

, In: Machine Learning and Knowledge Discovery in Databases; Lecture Notes in Computer Science,
Wang, Zheng ; Ruan, Wenjie - p. 562-577 , 2023
 
?
11

PRoA: A Probabilistic Robustness Assessment Against Functio..:

, In: Machine Learning and Knowledge Discovery in Databases; Lecture Notes in Computer Science,
 
?
12

Model-Agnostic Reachability Analysis on Deep Neural Network:

, In: Advances in Knowledge Discovery and Data Mining; Lecture Notes in Computer Science,
Zhang, Chi ; Ruan, Wenjie ; Wang, Fu... - p. 341-354 , 2023
 
?
13

Interpretable Machine Learning for COVID-19: An Empirical S..:

Wu, Han ; Ruan, Wenjie ; Wang, Jiangtao...
IEEE Transactions on Artificial Intelligence.  4 (2023)  4 - p. 764-777 , 2023
 
?
14

Self-adaptive Adversarial Training for Robust Medical Segme..:

, In: Lecture Notes in Computer Science; Medical Image Computing and Computer Assisted Intervention – MICCAI 2023,
Wang, Fu ; Fu, Zeyu ; Zhang, Yanghao. - p. 725-735 , 2023
 
1-15