Sfoglia per Autore
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture
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
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
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
2022 Flammini, F.; De Donato, L.; Fantechi, A.; Vittorini, V.
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance
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
2022 Canonico, R.; Flammini, F.; Marrone, S.; Nardone, R.; Vittorini, V.
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
2021 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
2021 Rajabli, Nijat; Flammini, Francesco; Nardone, Roberto; Vittorini, Valeria
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways
2020 Dirnfeld, Ruth; Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
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
2020 Di Meo, C.; Di Vaio, M.; Flammini, F.; Nardone, R.; Santini, S.; Vittorini, V.
From Dynamic State Machines to Promela
2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Towards Railway Virtual Coupling
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
2019 Bernardi, Simona; Marrone, Stefano; Merseguer, José; Nardone, Roberto; Vittorini, Valeria
A model-driven approach for vulnerability evaluation of modern physical protection systems
2019 Drago, A.; Marrone, S.; Mazzocca, N.; Nardone, R.; Tedesco, A.; Vittorini, V.
A proposal of an example and experiments repository to foster industrial adoption of formal methods
2018 Schlick, R.; Felderer, M.; Majzik, I.; Nardone, R.; Raschke, A.; Snook, C.; Vittorini, V.
Automatic generation of formal models for diagnosability of DES
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
2017 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
Dynamic state machines for modelling railway control systems
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
2016 Russo, Stefano; Vittorini, Valeria
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 | |
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 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. | |
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 |
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