IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 129
Titolo Tipologia Data di pubblicazione Autore(i) File
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture 1.1 Articolo in rivista 2023 De Donato, L.; Dirnfeld, R.; Somma, A.; De Benedictis, A.; Flammini, F.; Marrone, S.; Saman Azari, M.; Vittorini, V.
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 Vision of Intelligent Train Control 2.1 Contributo in volume (Capitolo o Saggio) 2022 Flammini, F.; De Donato, L.; Fantechi, A.; 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
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 2.1 Contributo in volume (Capitolo o Saggio) 2022 Canonico, R.; Flammini, F.; Marrone, S.; Nardone, R.; Vittorini, V.
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 1.1 Articolo in rivista 2021 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 1.1 Articolo in rivista 2021 Rajabli, Nijat; Flammini, Francesco; Nardone, Roberto; Vittorini, Valeria
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.
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 1.1 Articolo in rivista 2020 Di Meo, C.; Di Vaio, M.; Flammini, F.; Nardone, R.; Santini, S.; 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
A model-driven approach for vulnerability evaluation of modern physical protection systems 1.1 Articolo in rivista 2019 Drago, A.; Marrone, S.; Mazzocca, N.; Nardone, R.; Tedesco, A.; Vittorini, V.
Towards Railway Virtual Coupling 4.1 Articoli in Atti di convegno 2019 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Petrillo, Alberto; Santini, Stefania; 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
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.
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
GAUSS - Governing Adaptive and Unplanned Systems of Systems 8.07 Progetti di Ricerca Finanziati 2016 Russo, Stefano; Vittorini, Valeria
Mostrati risultati da 1 a 20 di 129
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