VITTORINI, VALERIA
VITTORINI, VALERIA
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
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.
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation
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
2021 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
From Dynamic State Machines to Promela
2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
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
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications
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
2020 Dirnfeld, Ruth; Flammini, Francesco; Marrone, Stefano; 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.
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
2017 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
Automatic generation of formal models for diagnosability of DES
2018 Nardone, R.; De Tommasi, G.; Mazzocca, N.; Pironti, A.; Vittorini, V.
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
2021 Rajabli, Nijat; Flammini, Francesco; Nardone, Roberto; Vittorini, Valeria
Towards Model-Driven V&V assessment of railway control systems
2014 S., Marrone; F., Flammini; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
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.
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.
The METRIP Tool
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
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
1999 Mazzocca, N; Russo, Stefano; Vittorini, V.
Towards Railway Virtual Coupling
2019 Flammini, Francesco; Marrone, Stefano; Nardone, Roberto; Petrillo, Alberto; Santini, Stefania; Vittorini, Valeria
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 |