Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations. - Valency Oscar Colaco; Simin Nadjm-Tehrani (SafeAI@AAAI, 2023)

Fast Evasion Detection & Alert Management in Tree-Ensemble-Based Intrusion Detection Systems. - Valency Oscar Colaco; Simin Nadjm-Tehrani (ICTAI, 2024)

Real-Time Evasion Detection in Tree Ensemble Automotive Intrusion Detection Systems. - Valency Oscar Colaco; Simin Nadjm-Tehrani (VNC, 2025)