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.
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
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
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
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
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.
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
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
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 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 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.
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
Towards model-based security assessment of cloud applications 2.1 Contributo in volume (Capitolo o Saggio) 2017 Casola, Valentina; DE BENEDICTIS, Alessandra; Nardone, Roberto
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
µ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.
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