Segui
Valeria Vittorini
Titolo
Citata da
Citata da
Anno
ERTMS/ETCS virtual coupling: Proof of concept and numerical analysis
C Di Meo, M Di Vaio, F Flammini, R Nardone, S Santini, V Vittorini
IEEE transactions on intelligent transportation systems 21 (6), 2545-2556, 2019
1752019
A literature review of Artificial Intelligence applications in railway systems
R Tang, L De Donato, N Besinović, F Flammini, RMP Goverde, Z Lin, ...
Transportation Research Part C: Emerging Technologies 140, 103679, 2022
1732022
Towards railway virtual coupling
F Flammini, S Marrone, R Nardone, A Petrillo, S Santini, V Vittorini
2018 IEEE International Conference on Electrical Systems for Aircraft …, 2018
1172018
Software verification and validation of safe autonomous cars: A systematic literature review
N Rajabli, F Flammini, R Nardone, V Vittorini
IEEE Access 9, 4797-4819, 2020
1092020
Repairable fault tree for the automatic evaluation of repair policies
DC Raiteri, G Franceschinis, M Iacono, V Vittorini
International Conference on Dependable Systems and Networks, 2004, 659-668, 2004
1062004
The OsMoSys approach to multi-formalism modeling of systems
V Vittorini, M Iacono, N Mazzocca, G Franceschinis
Software & Systems Modeling 3, 68-81, 2004
992004
Artificial intelligence in railway transport: Taxonomy, regulations, and applications
N Bešinović, L De Donato, F Flammini, RMP Goverde, Z Lin, R Liu, ...
IEEE Transactions on Intelligent Transportation Systems 23 (9), 14011-14024, 2021
822021
Vulnerability modeling and analysis for critical infrastructure protection applications
S Marrone, R Nardone, A Tedesco, P D'Amore, V Vittorini, R Setola, ...
International Journal of critical infrastructure protection 6 (3-4), 217-227, 2013
722013
Enabling the usage of UML in the verification of railway systems: the DAM-rail approach
S Bernardi, F Flammini, S Marrone, N Mazzocca, J Merseguer, R Nardone, ...
Reliability Engineering & System Safety 120, 112-126, 2013
552013
Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks
F Flammini, S Marrone, N Mazzocca, V Vittorini
Proc. European Safety and Reliability Conference, ESREL, 2675-2683, 2006
552006
A policy-based methodology for security evaluation: A security metric for public key infrastructures
V Casola, A Mazzeo, N Mazzocca, V Vittorini
Journal of Computer Security 15 (2), 197-229, 2007
532007
Drawnet++: Model objects to support performance analysis and simulation of systems
G Franceschinis, M Gribaudo, M Iacono, N Mazzocca, V Vittorini
Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002
492002
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
S Marrone, RJ Rodríguez, R Nardone, F Flammini, V Vittorini
Computers & electrical engineering 47, 275-285, 2015
482015
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
F Flammini, S Marrone, N Mazzocca, V Vittorini
Reliability Engineering & System Safety 94 (9), 1422-1432, 2009
482009
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
432011
A systematic review of artificial intelligence public datasets for railway applications
MJ Pappaterra, F Flammini, V Vittorini, N Bešinović
Infrastructures 6 (10), 136, 2021
412021
Solution workflows for model-based analysis of complex systems
F Moscato, V Vittorini, F Amato, A Mazzeo, N Mazzocca
IEEE Transactions on Automation Science and Engineering 9 (1), 83-95, 2011
402011
A multiformalism modular approach to ERTMS/ETCS failure modeling
F Flammini, S Marrone, M Iacono, N Mazzocca, V Vittorini
International Journal of Reliability, Quality and Safety Engineering 21 (01 …, 2014
372014
Towards an object based multi-formalism multi-solution modeling approach
G Franceschinis, M Gribaudo, M Iacono, N Mazzocca, V Vittorini
Proceedings of the Second Workshop on Modelling of Objects, Components and …, 2002
352002
Compositional modeling of complex systems: contact center scenarios in OsMoSys
G Franceschinis, M Gribaudo, M Iacono, S Marrone, N Mazzocca, ...
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
342004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20