IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 71
Titolo Data di pubblicazione Autore(i) File
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 1-gen-2019 Bernardi, S; Marrone, S; Merseguer, J; Nardone, R; Vittorini, V
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
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
A novel query language for data extraction from social networks 1-gen-2019 Buccafurri, Francesco; Lax, Gianluca; Musarella, Lorenzo; Nardone, Roberto
Towards Railway Virtual Coupling 1-gen-2019 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Petrillo, Alberto; Santini, Stefania; Vittorini, Valeria
Advancements in knowledge elicitation for computer-based critical systems 1-gen-2020 Bernardi, S; Gentile, U; Nardone, R; Marrone, S
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
Computer-aided security assessment of water networks monitoring platforms 1-gen-2020 Gentile, U.; Marrone, S.; Nardone, R.; Bellini, E.
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
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
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
Securing MQTT by Blockchain-Based OTP Authentication 1-gen-2020 Buccafurri, Francesco; De Angelis, Vincenzo; Nardone, Roberto
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 1-gen-2020 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
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
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 1-gen-2021 Rajabli, Nijat; Flammini, Francesco; Nardone, Roberto; Vittorini, Valeria
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 1-gen-2021 Besinovic, N.; De Donato, L.; Flammini, F.; Goverde, R. M. P.; Lin, Z.; Liu, R.; Marrone, S.; Nardone, R.; Tang, T.; Vittorini, V.
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.
Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain 1-gen-2021 Amato, Flora; Coppolino, Luigi; Cozzolino, Giovanni; Mazzeo, Giovanni; Moscato, Francesco; Nardone, Roberto
CAN-Bus Attack Detection With Deep Learning 1-gen-2021 Amato, Flora; Coppolino, Luigi; Mercaldo, Francesco; Moscato, Francesco; Nardone, Roberto; Santone, Antonella
Mostrati risultati da 41 a 60 di 71
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