IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 38
Titolo Tipologia Data di pubblicazione Autore(i) File
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 1.1 Articolo in rivista 2023 DE DONATO, Lorenzo; Marrone, Stefano; Flammini, Francesco; Sansone, Carlo; Vittorini, Valeria; Nardone, Roberto; Mazzariello, Claudio; Bernaudin, Frédéric
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 1.1 Articolo in rivista 2022 Besinovic, N.; De Donato, L.; Flammini, F.; Goverde, R. M. P.; Lin, Z.; Liu, R.; Marrone, S.; Nardone, R.; Tang, T.; Vittorini, V.
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 4.1 Articoli in Atti di convegno 2022 Saddem-Yagoubi, Rim; Sanwal, Muhammad Usman; Libutti, Simone; Benerecetti, Massimo; Beugin, Julie; Flammini, Francesco; Ghazel, Mohamed; Janssen, Bob; Marrone, Stefano; Mogavero, Fabio; Nardone, Roberto; Peron, Adriano; Seceleanu, Cristina
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 1.8 Articolo in rassegna (review) 2022 De Donato, Lorenzo; Flammini, Francesco; Marrone, Stefano; Mazzariello, Claudio; Nardone, Roberto; Sansone, Carlo; Vittorini, Valeria
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain 1.1 Articolo in rivista 2021 Amato, F.; Coppolino, L.; Cozzolino, G.; Mazzeo, G.; Moscato, F.; Nardone, R.
CAN-Bus Attack Detection with Deep Learning 1.1 Articolo in rivista 2021 Amato, Flora; Coppolino, Luigi; Mercaldo, Francesco; Moscato, Francesco; Nardone, Roberto; Santone, Antonella
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1.1 Articolo in rivista 2020 Nardone, R.; Marrone, S.; Gentile, U.; Amato, A.; Barberio, G.; Benerecetti, M.; De Guglielmo, R.; Di Martino, B.; Mazzocca, N.; Peron, A.; Pisani, G.; Velardi, L.; Vittorini, V.
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 4.1 Articoli in Atti di convegno 2020 Dirnfeld, Ruth; Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 1.1 Articolo in rivista 2019 Bernardi, Simona; Marrone, Stefano; Merseguer, José; Nardone, Roberto; Vittorini, Valeria
From Dynamic State Machines to Promela 2.1 Contributo in volume (Capitolo o Saggio) 2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
A model-Based evaluation methodology for smart energy systems 4.1 Articoli in Atti di convegno 2018 Benedictis, De; and Mazzocca, A.; and Nardone, N.; and Venticinque, R.
Automatic generation of formal models for diagnosability of DES 4.1 Articoli in Atti di convegno 2018 Nardone, R.; De Tommasi, G.; Mazzocca, N.; Pironti, A.; Vittorini, V.
A proposal of an example and experiments repository to foster industrial adoption of formal methods 2.1 Contributo in volume (Capitolo o Saggio) 2018 Schlick, R.; Felderer, M.; Majzik, I.; Nardone, R.; Raschke, A.; Snook, C.; Vittorini, V.
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 2.1 Contributo in volume (Capitolo o Saggio) 2017 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
Towards model-based security assessment of cloud applications 2.1 Contributo in volume (Capitolo o Saggio) 2017 Casola, Valentina; DE BENEDICTIS, Alessandra; Nardone, Roberto
Dynamic state machines for modelling railway control systems 1.1 Articolo in rivista 2017 Benerecetti, Massimo; DE GUGLIELMO, MARIA LUISA; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
µGRIMOIRE: A tool for smart micro grids modelling and energy profiling 1.1 Articolo in rivista 2016 Gentile, ; and Marrone, U.; and Mazzocca, S.; and Nardone, N.
Cost-energy modelling and profiling of smart domestic grids 1.1 Articolo in rivista 2016 Gentile, ; and Marrone, U.; and Mazzocca, S.; and Nardone, N.
Modeling railway control systems in promela 2.1 Contributo in volume (Capitolo o Saggio) 2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 2.1 Contributo in volume (Capitolo o Saggio) 2015 Marrone, S.; Nardone, Roberto; Rinaldi, ANTONIO MARIA; Vittorini, Valeria
Mostrati risultati da 1 a 20 di 38
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