Valeria Vittorini
Title
Cited by
Cited by
Year
The OsMoSys approach to multi-formalism modeling of systems
V Vittorini, M Iacono, N Mazzocca, G Franceschinis
Software & Systems Modeling 3 (1), 68-81, 2004
922004
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
752004
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
452007
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
442013
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
International Conference on Computer Safety, Reliability, and Security, 15-28, 2011
432011
DrawNET++: Model objects to support performance analysis and simulation of systems
G Franceschinis, M Gribaudo, M Iacono, N Mazzocca, V Vittorini
International Conference on Modelling Techniques and Tools for Computerá…, 2002
432002
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
392013
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
372009
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
352006
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
342011
Steady and unsteady numerical investigation of transitional shock-boundary-layer-interactions on a fan blade
B Becker, M Reyer, M Swoboda
Aerospace science and technology 11 (7-8), 507-517, 2007
30*2007
Compositional modeling of complex systems: contact center scenarios in OsMoSys
G Franceschinis, M Gribaudo, M Iacono, S Marrone, N Mazzocca, ...
International Conference on Application and Theory of Petri Nets, 177-196, 2004
302004
Towards Semantics Driven Generation of Executable Web Services Compositions.
G Di Lorenzo, N Mazzocca, F Moscato, V Vittorini
JSW 2 (5), 1-15, 2007
292007
Formal specification of concurrent systems: a structured approach
A Mazzeo, N Mazzocca, S Russo, C Savy, V Vittorini
The Computer Journal 41 (3), 145-162, 1998
291998
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
282009
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
252002
Workflow pattern analysis in web services orchestration: the BPEL4WS example
F Moscato, N Mazzocca, V Vittorini, G Di Lorenzo, P Mosca, M Magaldi
International Conference on High Performance Computing and Communicationsá…, 2005
242005
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 (6), 669-683, 2014
232014
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
222014
Turning web applications into web services by wrapping techniques
G Di Lorenzo, AR Fasolino, L Melcarne, P Tramontana, V Vittorini
14th Working Conference on Reverse Engineering (WCRE 2007), 199-208, 2007
222007
The system can't perform the operation now. Try again later.
Articles 1–20