Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. - Cinzia Bernardeschi; Giuseppe Lettieri; Alessio Vivani; Alessio Bechini; Alessio Vecchio; Federico Rossi 003; Christian Quadri; Alessia Galdeman; Adriano Fagiolini; Salvatore Pedone; Antonella Santone; Vittoria Nardone; et al. (ACSOS-C, 2024)

A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking. - Simona Correra; Valeria Sorgente; Giulia Varriano; Vittoria Nardone; Francesco Mercaldo; Antonella Santone (INTSYS, 2024)

Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. - Simona Correra; Giulia Varriano; Vittoria Nardone; Antonella Santone (WETICE, 2024)

Preventing Epilepsy: a case study into Radiomics and pre-processing efficacy. - Giulia Varriano; Luigi Pavone; Simona Correra; Giancarlo Di Gennaro; Marcello Bartolo; Ferdinando Caranci; Antonella Santone; Luca Brunese (WETICE, 2024)

An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. - Giulia Varriano; Vittoria Nardone; Simona Correra; Francesco Mercaldo; Antonella Santone (Comput. Medical Imaging Graph., 2024)