Ruan, Wenjie
411  results:
?
 
?
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
 
?
6

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

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

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

PRoA: A Probabilistic Robustness Assessment Against Functio..:

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

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

Machine Learning Safety 

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