NARDONE, ROBERTO

NARDONE, ROBERTO  

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

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 1-gen-2020 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
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-Based Evaluation Methodology for Smart Energy Systems 1-gen-2018 De Benedictis, A; Mazzocca, N; Nardone, R; Venticinque, S
A model-driven approach for vulnerability evaluation of modern physical protection systems 1-gen-2019 Drago, Annarita; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Tedesco, Annarita; Vittorini, Valeria
A Model-Driven Methodology to Evaluate Performability of Metro Systems 1-gen-2013 Nardone, Roberto; Marrone, Stefano
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 novel query language for data extraction from social networks 1-gen-2019 Buccafurri, Francesco; Lax, Gianluca; Musarella, Lorenzo; Nardone, Roberto
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 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
A routing algorithm increasing the transmission availability in smart grids 1-gen-2019 Buccafurri, Francesco; Musarella, Lorenzo; Nardone, Roberto
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
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1-gen-2020 Nardone, Roberto; Marrone, Stefano; Gentile, Ugo; Amato, Aniello; Barberio, Gregorio; Benerecetti, Massimo; De Guglielmo, Renato; Di Martino, Beniamino; Mazzocca, Nicola; Peron, Adriano; Pisani, Gaetano; Velardi, Luigi; 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