( en | de | ru )

 

Disambiguation of "Sabina, Salvatore"

Author of the publication

copydeleteadd this publication to your clipboard
Available and safe message freshness detection algorithm.

, , , , and . Int. J. Crit. Comput. Based Syst., 1 (4): 336-363 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Salvatore Loiero

Fundamentalmetanoia: Untersuchungen zu einem Ort eschato-praktischer Erfahrungs- und Erinnerungskultur. Uni Tübingen, habilitation, (2009)

Salvatore Saputo

Salvatore Cusenza

Salvatore Scarlata

Salvatore Grisanti

 

Other publications of authors with the same name

Available and safe message freshness detection algorithm., , , , and . Int. J. Crit. Comput. Based Syst., 1 (4): 336-363 (2010)TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation., , , , , , and . CoRR, (2023)Automatic Test Generation for Coverage Analysis of ERTMS Software., , , , and . ICST, page 303-306. IEEE Computer Society, (2009)Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting., , , , and . J. Autom. Reason., 45 (4): 397-414 (2010)A Freshness Detection Mechanism for Railway Applications., , , , and . PRDC, page 292-301. IEEE Computer Society, (2004)Automatic Test Generation for Coverage Analysis Using CBMC., , , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 287-294. Springer, (2009)A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS., , , , and . ITST, page 1-8. IEEE, (2018)A Novel Approach for Reducing Train Localization Errors by Inertial Measurements., , , , and . IEEE Access, (2023)Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications., , , , , , , , , and 1 other author(s). ITST, page 1-7. IEEE, (2018)