Roberto Nardone
Roberto Nardone
Dipartimento di Ingegneria dell'Informazione, delle Infrastrutture e dell'Energia Sostenibile
Bestätigte E-Mail-Adresse bei unirc.it
Titel
Zitiert von
Zitiert von
Jahr
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
562013
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
472013
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
292015
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
262013
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
232016
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
222018
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
202015
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
192016
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
192014
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
182014
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
172015
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
172011
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
162017
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
162014
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
152014
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
152012
Ertms/etcs virtual coupling: Proof of concept and numerical analysis
C Di Meo, M Di Vaio, F Flammini, R Nardone, S Santini, V Vittorini
IEEE Transactions on Intelligent Transportation Systems 21 (6), 2545-2556, 2019
132019
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
132019
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
132011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20