IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 59 di 59
Titolo Data di pubblicazione Autore(i) File
Enabling propagation in web of trust by Ethereum 1-gen-2019 Buccafurri, Francesco; Musarella, Lorenzo; Nardone, Roberto
A routing algorithm increasing the transmission availability in smart grids 1-gen-2019 Buccafurri, Francesco; Musarella, Lorenzo; Nardone, Roberto
From Dynamic State Machines to Promela 1-gen-2019 Benerecetti, Massimo; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Starace, Luigi L. L.; Vittorini, Valeria
Towards Railway Virtual Coupling 1-gen-2019 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Petrillo, Alberto; Santini, Stefania; Vittorini, Valeria
A novel query language for data extraction from social networks 1-gen-2019 Buccafurri, Francesco; Lax, Gianluca; Musarella, Lorenzo; Nardone, Roberto
A model-driven approach for vulnerability evaluation of modern physical protection systems 1-gen-2019 Drago, Annarita; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Tedesco, Annarita; Vittorini, Valeria
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 1-gen-2020 Dirnfeld, Ruth; Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 1-gen-2020 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1-gen-2020 Nardone, Roberto; Marrone, Stefano; Gentile, Ugo; Amato, Aniello; Barberio, Gregorio; Benerecetti, Massimo; De Guglielmo, Renato; Di Martino, Beniamino; Mazzocca, Nicola; Peron, Adriano; Pisani, Gaetano; Velardi, Luigi; Vittorini, Valeria
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 1-gen-2020 Di Meo, Carlo; Di Vaio, Marco; Flammini, Francesco; Nardone, Roberto; Santini, Stefania; Vittorini, Valeria
Securing MQTT by Blockchain-Based OTP Authentication 1-gen-2020 Buccafurri, Francesco; De Angelis, Vincenzo; Nardone, Roberto
Model-Driven Engineering for Swarm-Based Space Exploration Missions 1-gen-2020 Nardone, Roberto; Buccafurri, Francesco; De Angelis, Vincenzo; Labrini, Cecilia; Lax, Gianluca; Musarella, Lorenzo; Russo, Antonia
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 1-gen-2020 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Caporuscio, Mauro; D’Angelo, Mirko
Computer-aided security assessment of water networks monitoring platforms 1-gen-2020 Gentile, U.; Marrone, S.; Nardone, R.; Bellini, E.
Advancements in knowledge elicitation for computer-based critical systems 1-gen-2020 Bernardi, S; Gentile, U; Nardone, R; Marrone, S
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 1-gen-2021 Rajabli, Nijat; Flammini, Francesco; Nardone, Roberto; Vittorini, Valeria
CAN-Bus Attack Detection With Deep Learning 1-gen-2021 Amato, Flora; Coppolino, Luigi; Mercaldo, Francesco; Moscato, Francesco; Nardone, Roberto; Santone, Antonella
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 1-gen-2021 Bernardi, S.; Gentile, U.; Marrone, S.; Merseguer, J.; Nardone, R.
Enabling secure health information sharing among healthcare organizations by public blockchain 1-gen-2024 Lax, G.; Nardone, R.; Russo, A.
Mostrati risultati da 41 a 59 di 59
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile