| The OsMoSys approach to multi-formalism modeling of systems. V Vittorini, M Iacono, N Mazzocca, G Franceschinis Software & Systems Modeling 3 (1), 2004 | 99 | 2004 |
| 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 | 96 | 2004 |
| 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 | 86 | 2019 |
| 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 | 76 | 2018 |
| 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 | 67 | 2013 |
| 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 | 54 | 2007 |
| 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 | 52 | 2013 |
| 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 | 49 | 2006 |
| 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 | 48 | 2020 |
| 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 | 47 | 2002 |
| 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 | 44 | 2009 |
| 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 | 43 | 2011 |
| 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 | 41 | 2015 |
| 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 | 39 | 2011 |
| Interfaces and binding in component based development of formal models G Franceschinis, M Gribaudo, M Iacono, S Marrone, F Moscato, V Vittorini Proceedings of the Fourth International ICST Conference on Performance …, 2009 | 34 | 2009 |
| 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 | 34 | 2004 |
| Towards Semantics Driven Generation of Executable Web Services Compositions. G Di Lorenzo, N Mazzocca, F Moscato, V Vittorini J. Softw. 2 (5), 1-15, 2007 | 33 | 2007 |
| 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 | 32 | 2014 |
| 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 | 32 | 2002 |
| Towards model-driven V&V assessment of railway control systems S Marrone, F Flammini, N Mazzocca, R Nardone, V Vittorini International Journal on Software Tools for Technology Transfer 16, 669-683, 2014 | 31 | 2014 |
