Sfoglia per Autore
SWN client-server composition operators in the OsMoSys framework
2003 Franceschinis, G; Marrone, Stefano; Mazzocca, N; Vittorini, V.
Modelling distributed supervisory systems using a modular multi-formalism methodology
2004 Iacono, Mauro; Marrone, S.; Mazzocca, N.; Moscato, Francesco
Compositional modeling of complex systems: contact center scenarios in OsMoSys
2004 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology
2004 Iacono, Mauro; Marrone, Stefano; Mazzocca, N; Moscato, Francesco
Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems
2005 Flammini, F; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.
A model analysis of a distributed monitoring system using a multi-formalism approach
2006 Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Modeling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks
2006 Flammini, F; Marrone, Stefano; Mazzocca, N; Vittorini, V.
Combining Genetic Algorithms and Fault Tree Analysis in reliability/cost optimization for critical complex systems
2007 DE CARLO, F; Iacono, Mauro; Marrone, S.
Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems
2007 DE CARLO, F; Iacono, Mauro; Marrone, Stefano
EVALUATING THE HAZARDOUS FAILURE RATE OF MAJORITY VOTING COMPUTER ARCHITECTURES BY MEANS OF BAYESIAN NETWORK MODELS
2007 Flammini, F; Marrone, Stefano; Mazzocca, N; Vittorini, V.
The software architecture of the OsMoSYS Multisolution Framework
2007 Moscato, Francesco; Flammini, Francesco; Di Lorenzo, Giusy; Vittorini, Valeria; Marrone, Stefano; Iacono, Mauro
A performance driven modeling approach for SOA based application
2008 Iacono, Mauro; Marrone, Stefano
Testing complex safety-critical systems in SOA context
2008 Donini, R; Marrone, Stefano; Mazzocca, N; Orazzo, A; Papa, D; Venticinque, Salvatore
A Performance Driven Modelling Approach for SOA Based Application
2008 Iacono, Mauro; Marrone, Stefano
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
2009 Flammini, F.; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Interfaces and Binding in Component Based Development of Formal Models
2009 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Moscato, Francesco; Vittorini, V.
Evaluating availability of composed web services
2010 Iacono, Mauro; Marrone, S.
Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks
2010 Iacono, Mauro; Romano, Elvira; Marrone, Stefano
Multiformalism and transformation inheritance for dependability analysis of critical systems
2010 Marrone, Stefano; Papa, C; Vittorini, V.
Model-driven availability evaluation of railway control systems
2011 Bernardi, S; Flammini, F; Marrone, Stefano; Merseguer, J; Papa, C; Vittorini, V.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile