IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 107
Titolo Data di pubblicazione Autore(i) File
Test specification patterns for automatic generation of test sequences 1-gen-2014 Gentile, Ugo; Marrone, Stefano; Mele, Gianluca; Nardone, Roberto; Peron, Adriano
A Petri Net pattern-oriented approach for the design of physical protection systems 1-gen-2014 Flammini, Francesco; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems 1-gen-2014 Barberio, Gregorio; DI MARTINO, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
A Multiformalism Modular Approach to ERTMS/ETCS Failure Modelling 1-gen-2014 Flammini, F; Marrone, Stefano; Iacono, Mauro; Mazzocca, N; Vittorini, V.
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 1-gen-2015 Marrone, Stefano; Rodríguez, Ricardo J.; Nardone, Roberto; Flammini, Francesco; Vittorini, Valeria
Exploiting Bayesian Networks for the analysis of combined Attack Trees 1-gen-2015 Gribaudo, M; Iacono, Mauro; Marrone, Stefano
Dynamic state machines for formalizing railway control system specifications 1-gen-2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
Automatic resource allocation for high availability cloud services 1-gen-2015 Marrone, Stefano; Nardone, Roberto
Using Bayesian Networks to evaluate the trustworthiness of '2 out of 3' decision fusion mechanisms in multi-sensor applications 1-gen-2015 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Using Bayesian networks for highly available cloud-based web applications 1-gen-2015 Marrone, Stefano
Towards model-driven assessment of clinical processes 1-gen-2015 Amato, Flora; Cozzolino, Giovanni; D’Alessio, Alessandra; Marrone, Stefano; Mazzocca, Nicola; Mele, Gianluca; Nardone, Roberto
The METRIP tool 1-gen-2015 Marrone, Stefano; Mazzocca, Nicola; Pragliola, Concetta; Sforza, Antonio; Sterle, Claudio; Vittorini, Valeria
A model-driven process for physical protection system design and vulnerability evaluation 1-gen-2015 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 1-gen-2016 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria
Cost-energy modelling and profiling of smart domestic grids 1-gen-2016 Gentile, Ugo; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto
Modeling railway control systems in promela 1-gen-2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 1-gen-2016 Gentile, Ugo; Marrone, Stefano; De Paola, Francesco; Nardone, Roberto; Mazzocca, Nicola; Giugni, Maurizio
Model-based vulnerability assessment of self-adaptive protection systems 1-gen-2016 Rodríguez, Ricardo J; Marrone, Stefano
Finding Resilient and Energy-saving Control Strategies in Smart Homes 1-gen-2016 Marrone, Stefano; Gentile, Ugo
Dynamic state machines for modelling railway control systems 1-gen-2017 Benerecetti, M.; De Guglielmo, R.; Gentile, U.; Marrone, Stefano; Mazzocca, N.; Nardone, R.; Peron, A.; Velardi, L.; Vittorini, V.
Mostrati risultati da 41 a 60 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