Salvatore Sabina

13 papers A 2C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A conf
SynDRA: Synthetic Dataset for Railway Applications.
WACV
Gianluca D'Amico, Federico Nesti, Giulio Rossolini, Mauro Marinoni, Salvatore Sabina, Giorgio C. Buttazzo
2025 J jnl
Time synchronization and performance analysis of the openSAFETY protocol via UDP over Ethernet.
J. Syst. Archit.
Shoaib Zafar, Salvatore Sabina, Alessandro Biondi, Giorgio C. Buttazzo
2023 J jnl
A Novel Approach for Reducing Train Localization Errors by Inertial Measurements.
IEEE Access
Mauro Marinoni, Pierluigi Amato, Carmelo Di Franco, Salvatore Sabina, Giorgio C. Buttazzo
2023 J jnl
TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation.
CoRR
Gianluca D'Amico, Mauro Marinoni, Federico Nesti, Giulio Rossolini, Giorgio C. Buttazzo, Salvatore Sabina, Gianluigi Lauro
2023 J jnl
TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation.
IEEE Trans. Intell. Transp. Syst.
Gianluca D'Amico, Mauro Marinoni, Federico Nesti, Giulio Rossolini, Giorgio C. Buttazzo, Salvatore Sabina, Gianluigi Lauro
2018 — conf
A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS.
ITST
Christian Wullems, Francesco Sperandio, Marzia Basso, Silvia Sturaro, Salvatore Sabina
2018 — conf
Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications.
ITST
Omar García Crespillo, Andriy Konovaltsev, Juliette Marais, Salvatore Sabina, Alessia Vennarini, Andrea Coluccia, Alessandro Neri, Antonio Aguila, Elena Razzano, Francesco Ranauro, Massimiliano Ciaffi
2010 J jnl
Available and safe message freshness detection algorithm.
Int. J. Crit. Comput. Based Syst.
Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini
2010 J jnl
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.
J. Autom. Reason.
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009 — conf
Automatic Test Generation for Coverage Analysis Using CBMC.
EUROCAST
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009 A conf
Automatic Test Generation for Coverage Analysis of ERTMS Software.
ICST
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009 — conf
Improving the Automatic Test Generation process for Coverage Analysis using CBMC.
RCRA@AI*IA
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
2004 C conf
A Freshness Detection Mechanism for Railway Applications.
PRDC
Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini