IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 107
Titolo Data di pubblicazione Autore(i) File
SWN client-server composition operators in the OsMoSys framework 1-gen-2003 Franceschinis, G; Marrone, Stefano; Mazzocca, N; Vittorini, V.
Modelling distributed supervisory systems using a modular multi-formalism methodology 1-gen-2004 Iacono, Mauro; Marrone, S.; Mazzocca, N.; Moscato, Francesco
Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology 1-gen-2004 Iacono, Mauro; Marrone, Stefano; Mazzocca, N; Moscato, Francesco
Compositional modeling of complex systems: contact center scenarios in OsMoSys 1-gen-2004 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems 1-gen-2005 Flammini, F; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.
Modeling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 1-gen-2006 Flammini, F; Marrone, Stefano; Mazzocca, N; Vittorini, V.
A model analysis of a distributed monitoring system using a multi-formalism approach 1-gen-2006 Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Combining Genetic Algorithms and Fault Tree Analysis in reliability/cost optimization for critical complex systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, S.
Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, Stefano
The software architecture of the OsMoSYS Multisolution Framework 1-gen-2007 Moscato, Francesco; Flammini, Francesco; Di Lorenzo, Giusy; Vittorini, Valeria; Marrone, Stefano; Iacono, Mauro
EVALUATING THE HAZARDOUS FAILURE RATE OF MAJORITY VOTING COMPUTER ARCHITECTURES BY MEANS OF BAYESIAN NETWORK MODELS 1-gen-2007 Flammini, F; Marrone, Stefano; Mazzocca, N; Vittorini, V.
A Performance Driven Modelling Approach for SOA Based Application 1-gen-2008 Iacono, Mauro; Marrone, Stefano
A performance driven modeling approach for SOA based application 1-gen-2008 Iacono, Mauro; Marrone, Stefano
Testing complex safety-critical systems in SOA context 1-gen-2008 Donini, R; Marrone, Stefano; Mazzocca, N; Orazzo, A; Papa, D; Venticinque, Salvatore
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1-gen-2009 Flammini, F.; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Interfaces and Binding in Component Based Development of Formal Models 1-gen-2009 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Moscato, Francesco; Vittorini, V.
Evaluating availability of composed web services 1-gen-2010 Iacono, Mauro; Marrone, S.
Multiformalism and transformation inheritance for dependability analysis of critical systems 1-gen-2010 Marrone, Stefano; Papa, C; Vittorini, V.
Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks 1-gen-2010 Iacono, Mauro; Romano, Elvira; Marrone, Stefano
Performability modeling of exceptions-aware systems in multiformalism tools 1-gen-2011 Barbierato, E; Gribaudo, M; Iacono, Mauro; Marrone, Stefano
Mostrati risultati da 1 a 20 di 107
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