NARDONE, ROBERTO
NARDONE, ROBERTO
Dipartimento di Ingegneria dell'Informazione, delle Infrastrutture e dell'Energia Sostenibile
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects
2020-01-01 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
A compositional modelling approach for large Sensor Networks design
2013-01-01 Ermanno, Battista; Casola, Valentina; Mazzocca, Nicola; Nardone, Roberto; Stefano, Marrone
A cost-energy trade-off model in smart energy grids
2014-01-01 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
2017-01-01 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
A Model-Based Evaluation Methodology for Smart Energy Systems
2018-01-01 De Benedictis, A; Mazzocca, N; Nardone, R; Venticinque, S
A model-driven approach for vulnerability evaluation of modern physical protection systems
2019-01-01 Drago, Annarita; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Tedesco, Annarita; Vittorini, Valeria
A Model-Driven Methodology to Evaluate Performability of Metro Systems
2013-01-01 Nardone, Roberto; Marrone, Stefano
A model-driven process for physical protection system design and vulnerability evaluation
2015-01-01 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
A novel query language for data extraction from social networks
2019-01-01 Buccafurri, Francesco; Lax, Gianluca; Musarella, Lorenzo; Nardone, Roberto
A Petri Net pattern-oriented approach for the design of physical protection systems
2014-01-01 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
2018-01-01 Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
A routing algorithm increasing the transmission availability in smart grids
2019-01-01 Buccafurri, Francesco; Musarella, Lorenzo; Nardone, Roberto
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework
2012-01-01 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
2011-01-01 Quaglietta, Egidio; D'Acierno, Luca; Punzo, Vincenzo; Nardone, Roberto; Mazzocca, Nicola
Advancements in knowledge elicitation for computer-based critical systems
2020-01-01 Bernardi, S; Gentile, U; Nardone, R; Marrone, S
An integrated approach for availability and QoS evaluation In railway systems
2011-01-01 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
2013-01-01 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems
2014-01-01 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
2020-01-01 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
2018-01-01 Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
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 |