IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 71
Titolo Data di pubblicazione Autore(i) File
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
Automatic Resource Allocation for High Availability Cloud Services 1-gen-2015 Marrone, S; Nardone, R
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 1-gen-2015 Marrone, S; Rodriguez, Rj; Nardone, R; Flammini, F; Vittorini, V
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 1-gen-2015 Marrone, S.; Nardone, R.; Rinaldi, A. M.; Vittorini, V.
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
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
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
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 1-gen-2015 Gentile, Ugo; Marrone, Stefano; De Paola, Francesco; Nardone, Roberto; Mazzocca, Nicola; Giugni, Maurizio
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
Modeling railway control systems in promela 1-gen-2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Cost-energy modelling and profiling of smart domestic grids 1-gen-2016 Gentile, U; Marrone, S; Mazzocca, N; Nardone, R
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 1-gen-2016 Gentile, Ugo; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 1-gen-2017 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
Formal security assessment of Modbus protocol 1-gen-2017 Nardone, Roberto; Rodriguez, Ricardo J.; Marrone, Stefano
Dynamic state machines for modelling railway control systems 1-gen-2017 Benerecetti, Massimo; DE GUGLIELMO, Renato; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
Towards model-based security assessment of cloud applications 1-gen-2017 Casola, Valentina; De Benedictis, Alessandra; Nardone, Roberto
A Model-Based Evaluation Methodology for Smart Energy Systems 1-gen-2018 De Benedictis, A; Mazzocca, N; Nardone, R; Venticinque, S
Automatic generation of formal models for diagnosability of des 1-gen-2018 Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
A proposal of an example and experiments repository to foster industrial adoption of formal methods 1-gen-2018 Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 1-gen-2019 Bernardi, S; Marrone, S; Merseguer, J; Nardone, R; Vittorini, V
Mostrati risultati da 21 a 40 di 71
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