NARDONE, ROBERTO

NARDONE, ROBERTO  

Dipartimento di Ingegneria dell'Informazione, delle Infrastrutture e dell'Energia Sostenibile  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
A compositional modelling approach for large Sensor Networks design 1-gen-2013 Ermanno, Battista; Casola, Valentina; Mazzocca, Nicola; Nardone, Roberto; Stefano, Marrone
A cost-energy trade-off model in smart energy grids 1-gen-2014 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
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.
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
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
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 1-gen-2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
A simulation framework for supporting design and real-time decisional phases in railway systems 1-gen-2011 Quaglietta, Egidio; D'Acierno, Luca; Punzo, Vincenzo; Nardone, Roberto; Mazzocca, Nicola
Advancements in knowledge elicitation for computer-based critical systems 1-gen-2020 Bernardi, S; Gentile, U; Nardone, R; Marrone, S
An integrated approach for availability and QoS evaluation In railway systems 1-gen-2011 Mazzeo, Antonino; Mazzocca, Nicola; Nardone, Roberto; D'Acierno, Luca; Montella, Bruno; Punzo, Vincenzo; Quaglietta, Egidio; Lamberti, I.; Marmo, P.
An integrated lifetime and network quality model of large WSNs 1-gen-2013 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; 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
Automatic generation of formal models for diagnosability of des 1-gen-2018 Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
Automatic Resource Allocation for High Availability Cloud Services 1-gen-2015 Marrone, S; Nardone, R
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 1-gen-2020 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
CAN-Bus Attack Detection With Deep Learning 1-gen-2021 Amato, Flora; Coppolino, Luigi; Mercaldo, Francesco; Moscato, Francesco; Nardone, Roberto; Santone, Antonella
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 1-gen-2013 Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Computer-aided security assessment of water networks monitoring platforms 1-gen-2020 Gentile, U.; Marrone, S.; Nardone, R.; Bellini, E.
Cost-energy modelling and profiling of smart domestic grids 1-gen-2016 Gentile, U; Marrone, S; Mazzocca, N; Nardone, R
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
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