IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.016 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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.
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 4.1 Articoli in Atti di convegno 2014 Amalfitano, D.; Amatucci, N.; Fasolino, A. R.; Gentile, U.; Mele, G.; Nardone, R.; Vittorini, V.; Marrone, S.
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 1.1 Articolo in rivista 2021 Flammini, Francesco; Marrone, Stefano; 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 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.1 Articolo in rivista 2022 De Donato, Lorenzo; Flammini, Francesco; Marrone, Stefano; Mazzariello, Claudio; Nardone, Roberto; Sansone, Carlo; Vittorini, Valeria
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 1.1 Articolo in rivista 2021 Besinovic, N.; De Donato, L.; Flammini, F.; Goverde, R. M. P.; Lin, Z.; Liu, R.; Marrone, S.; Nardone, R.; Tang, T.; 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
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.
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.
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.
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
Towards Model-Driven V&V assessment of railway control systems 1.1 Articolo in rivista 2014 S., Marrone; F., Flammini; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
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.
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.
The METRIP Tool 2.1 Contributo in volume (Capitolo o Saggio) 2015 Marrone, Stefano; Mazzocca, Nicola; Pragliola, Concetta; Sforza, Antonio; Sterle, Claudio; 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
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches 1.1 Articolo in rivista 1999 Mazzocca, N; Russo, Stefano; 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