Salvatore Sabina

According to our database, Salvatore Sabina authored at least 10 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., December, 2023

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

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

Proceedings of the 16th International Conference on Intelligent Transportation Systems Telecommunications, 2018

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, Antonio Aguila, Elena Razzano, Francesco Ranauro, Massimiliano Ciaffi

Proceedings of the 16th International Conference on Intelligent Transportation Systems Telecommunications, 2018

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

Available and safe message freshness detection algorithm.

Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini

Int. J. Crit. Comput. Based Syst., 2010

2009

Automatic Test Generation for Coverage Analysis of ERTMS Software.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatic Test Generation for Coverage Analysis Using CBMC.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina

Proceedings of the Computer Aided Systems Theory, 2009

Improving the Automatic Test Generation process for Coverage Analysis using CBMC.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2004

A Freshness Detection Mechanism for Railway Applications.

Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004