Roberto Nardone

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 36

Top Venues

IEEE Trans. Intell. Transp. Syst.

Future Gener. Comput. Syst.

FTSCS

ISoLA (4)

University of Naples Federico II, Italy (PHD)

Education History

University of Naples Federico II, Italy

PHD

Publications

Gianluca Lax, Roberto Nardone, Antonia Russo
Enabling secure health information sharing among healthcare organizations by public blockchain. Multim. Tools Appl. 83 (24) (2024)
Luigi Coppolino, Alessandro De Crecchio, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Federica Uccello
Exploiting Data Spaces to Enable Privacy Preserving Data Exchange in the Energy Supply Chain. ITASEC (2024)
Salvatore D'Antonio, Roberto Nardone, Nicola Russo, Federica Uccello
A Tamper-Resistant Storage Framework for Smart Grid security. PDP (2023)
Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Eng. Appl. Artif. Intell. 123 (Part C) (2023)
Luigi Coppolino, Roberto Nardone, Luigi Romano
Securing FIWARE with TEE Technology. SoMeT (2023)
Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Andrej Souvent
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids. ARES (2023)
Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access 10 (2022)
Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) (2022)
Joelle Aoun, Rob M. P. Goverde, Roberto Nardone, Egidio Quaglietta, Valeria Vittorini
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems. ICSRS (2022)
Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone
CAN-Bus Attack Detection With Deep Learning. IEEE Trans. Intell. Transp. Syst. 22 (8) (2021)
Flora Amato, Luigi Coppolino, Giovanni Cozzolino, Giovanni Mazzeo, Francesco Moscato, Roberto Nardone
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain. Neurocomputing 444 (2021)
Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. 171 (2021)
Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access 9 (2021)
Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33 (6) (2021)
Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. 112 (2020)
Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE Trans. Intell. Transp. Syst. 21 (6) (2020)
Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC (2020)
Francesco Buccafurri, Vincenzo De Angelis, Roberto Nardone
Securing MQTT by Blockchain-Based OTP Authentication. Sensors 20 (7) (2020)
Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini
Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. 31 (2020)
Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110 (2020)
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18 (3) (2019)
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
From Dynamic State Machines to Promela. SPIN (2019)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18 (1) (2019)
Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone
A routing algorithm increasing the transmission availability in smart grids. SummerSim (2019)
Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone
Enabling propagation in web of trust by Ethereum. IDEAS (2019)
Francesco Buccafurri, Gianluca Lax, Lorenzo Musarella, Roberto Nardone
A Novel Query Language for Data Extraction from Social Networks. WEBIST (2019)
Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) (2018)
Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
Automatic generation of formal models for diagnosability of DES. ETFA (2018)
Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque
A Model-Based Evaluation Methodology for Smart Energy Systems. SMARTCOMP (2018)
Valentina Casola, Alessandra De Benedictis, Roberto Nardone
Towards Model-Based Security Assessment of Cloud Applications. GPC (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail (2017)
Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone
Formal security assessment of Modbus protocol. ICITST (2016)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. 7 (4) (2016)
Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. 3PGCIC (2015)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Stefano Marrone, Roberto Nardone
Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT (2015)
Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47 (2015)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC (2014)
Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP (2014)
Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS (2014)
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops (2014)
Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE (2014)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6 (3-4) (2013)
Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. AINA Workshops (2013)
Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
An integrated lifetime and network quality model of large WSNs. M&N (2013)
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC (2013)
Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
Petri net based evaluation of energy consumption in wireless sensor nodes. J. High Speed Networks 19 (4) (2013)
Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) (2012)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) (2012)
Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Egidio Quaglietta, Luca D'Acierno, Vincenzo Punzo, Roberto Nardone, Nicola Mazzocca
A simulation framework for supporting design and real-time decisional phases in railway systems. ITSC (2011)
Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo
An Integrated Approach for Availability and QoS Evaluation in Railway Systems. SAFECOMP (2011)

Roberto Nardone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Nardone