A Freshness Detection Mechanism for Railway Applications. - Andrea Bondavalli; Enrico De Giudici; Stefano Porcarelli; Salvatore Sabina; Fabrizio Zanini (PRDC, 2004)

Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu; Salvatore Sabina (RCRA@AI*IA, 2009)

Automatic Test Generation for Coverage Analysis Using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (EUROCAST, 2009)

Automatic Test Generation for Coverage Analysis of ERTMS Software. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (ICST, 2009)

Available and safe message freshness detection algorithm. - Andrea Bondavalli; Lorenzo Falai; Stefano Porcarelli; Salvatore Sabina; Fabrizio Zanini (Int. J. Crit. Comput. Based Syst., 2010)

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (J. Autom. Reason., 2010)

Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications. - Omar García Crespillo; Andriy Konovaltsev; Juliette Marais; Salvatore Sabina; Alessia Vennarini; Andrea Coluccia; Alessandro Neri 001; Antonio Aguila; Elena Razzano; Francesco Ranauro; Massimiliano Ciaffi (ITST, 2018)

A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS. - Christian Wullems; Francesco Sperandio; Marzia Basso; Silvia Sturaro; Salvatore Sabina (ITST, 2018)

A Novel Approach for Reducing Train Localization Errors by Inertial Measurements. - Mauro Marinoni; Pierluigi Amato; Carmelo Di Franco; Salvatore Sabina; Giorgio C. Buttazzo (IEEE Access, 2023)

TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation. - Gianluca D'Amico; Mauro Marinoni; Federico Nesti; Giulio Rossolini; Giorgio C. Buttazzo; Salvatore Sabina; Gianluigi Lauro (IEEE Trans. Intell. Transp. Syst., 2023)

SynDRA: Synthetic Dataset for Railway Applications. - Gianluca D'Amico; Federico Nesti; Giulio Rossolini; Mauro Marinoni; Salvatore Sabina; Giorgio C. Buttazzo (WACV, 2025)