Roberto Nardone
Roberto Nardone
Dipartimento di Ingegneria dell'Informazione, delle Infrastrutture e dell'Energia Sostenibile
Email verificata su unirc.it
Titolo
Citata da
Citata da
Anno
Vulnerability modeling and analysis for critical infrastructure protection applications
S Marrone, R Nardone, A Tedesco, P D'Amore, V Vittorini, R Setola, ...
International Journal of Critical Infrastructure Protection 6 (3-4), 217-227, 2013
472013
Enabling the usage of UML in the verification of railway systems: the DAM-rail approach
S Bernardi, F Flammini, S Marrone, N Mazzocca, J Merseguer, R Nardone, ...
Reliability Engineering & System Safety 120, 112-126, 2013
422013
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
S Marrone, RJ Rodríguez, R Nardone, F Flammini, V Vittorini
Computers & electrical engineering 47, 275-285, 2015
262015
Towards Model-Driven V&V assessment of railway control systems
S Marrone, F Flammini, N Mazzocca, R Nardone, V Vittorini
International Journal on Software Tools for Technology Transfer 16 (6), 669-683, 2014
262014
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications
M DArienzo, M Iacono, S Marrone, R Nardone
2013 27th International Conference on Advanced Information Networking and …, 2013
252013
Cost-energy modelling and profiling of smart domestic grids
U Gentile, S Marrone, N Mazzocca, R Nardone
International Journal of Grid and Utility Computing 7 (4), 257-271, 2016
182016
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
182015
Dynamic state machines for formalizing railway control system specifications
R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 93-109, 2014
172014
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
162016
Modeling railway control systems in Promela
R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 121-136, 2015
162015
A petri net pattern-oriented approach for the design of physical protection systems
F Flammini, U Gentile, S Marrone, R Nardone, V Vittorini
International Conference on Computer Safety, Reliability, and Security, 230-245, 2014
162014
A simulation framework for supporting design and real-time decisional phases in railway systems
E Quaglietta, L D'Acierno, V Punzo, R Nardone, N Mazzocca
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
162011
Dynamic state machines for modelling railway control systems
M Benerecetti, R De Guglielmo, U Gentile, S Marrone, N Mazzocca, ...
Science of Computer Programming 133, 116-153, 2017
152017
An interoperable testing environment for ertms/etcs control systems
G Barberio, B Di Martino, N Mazzocca, L Velardi, A Amato, ...
International Conference on Computer Safety, Reliability, and Security, 147-156, 2014
152014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation
D Amalfitano, N Amatucci, AR Fasolino, U Gentile, G Mele, R Nardone, ...
Proceedings of the 2014 international workshop on Long-term industrial …, 2014
132014
Model-driven V&V processes for computer based control systems: A unifying perspective
F Flammini, S Marrone, N Mazzocca, R Nardone, V Vittorini
International Symposium On Leveraging Applications of Formal Methods …, 2012
132012
An integrated approach for availability and QoS evaluation in railway systems
A Mazzeo, N Mazzocca, R Nardone, L D’Acierno, B Montella, V Punzo, ...
International Conference on Computer Safety, Reliability, and Security, 171-184, 2011
122011
Towards railway virtual coupling
F Flammini, S Marrone, R Nardone, A Petrillo, S Santini, V Vittorini
2018 IEEE International Conference on Electrical Systems for Aircraft …, 2018
112018
A model-driven approach for vulnerability evaluation of modern physical protection systems
A Drago, S Marrone, N Mazzocca, R Nardone, A Tedesco, V Vittorini
Software & Systems Modeling 18 (1), 523-556, 2019
92019
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’decision fusion mechanisms in multi-sensor applications
F Flammini, S Marrone, N Mazzocca, R Nardone, V Vittorini
IFAC-PapersOnLine 48 (21), 682-687, 2015
82015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20