Salvatore Sabina

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 5

Top Topics

Main Contribution

Inertial Navigation

Benchmark Datasets

Simulation Environment

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

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