Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. - Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa (DSN-W, 2025)

Enhancing Network Security Management in Water Systems using FM-based Attack Attribution. - Aleksandar Avdalovic; Joseph Khoury; Ahmad F. Taha; Elias Bou-Harb (NOMS, 2025)