Roberto Nardone

According to our database, Roberto Nardone authored at least 58 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance.

Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin

Eng. Appl. Artif. Intell., 2023

Securing FIWARE with TEE Technology.

Luigi Coppolino, Roberto Nardone, Luigi Romano

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2023

A Tamper-Resistant Storage Framework for Smart Grid security.

Salvatore D'Antonio, Roberto Nardone, Nicola Russo, Federica Uccello

Proceedings of the 31st Euromicro International Conference on Parallel, 2023

Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids.

Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Andrej Souvent

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications.

Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini

IEEE Trans. Intell. Transp. Syst., 2022

A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance.

Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini

IEEE Access, 2022

Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.

Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems.

Joelle Aoun, Rob M. P. Goverde, Roberto Nardone, Egidio Quaglietta, Valeria Vittorini

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2021

CAN-Bus Attack Detection With Deep Learning.

Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone

IEEE Trans. Intell. Transp. Syst., 2021

Security modelling and formal verification of survivability properties: Application to cyber-physical systems.

Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone

J. Syst. Softw., 2021

Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain.

Flora Amato, Luigi Coppolino, Giovanni Cozzolino, Giovanni Mazzeo, Francesco Moscato, Roberto Nardone

Neurocomputing, 2021

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.

Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Formal Aspects Comput., 2021

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review.

Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini

IEEE Access, 2021

2020

ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis.

Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini

IEEE Trans. Intell. Transp. Syst., 2020

Securing MQTT by Blockchain-Based OTP Authentication.

Francesco Buccafurri, Vincenzo De Angelis, Roberto Nardone

Sensors, 2020

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.

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

J. Syst. Softw., 2020

Computer-aided security assessment of water networks monitoring platforms.

Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini

Int. J. Crit. Infrastructure Prot., 2020

Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study.

Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo

Future Gener. Comput. Syst., 2020

Advancements in knowledge elicitation for computer-based critical systems.

Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone

Future Gener. Comput. Syst., 2020

Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways.

Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

A model-driven approach for vulnerability evaluation of modern physical protection systems.

Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini

Softw. Syst. Model., 2019

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.

Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini

Softw. Syst. Model., 2019

A Novel Query Language for Data Extraction from Social Networks.

Francesco Buccafurri, Gianluca Lax, Lorenzo Musarella, Roberto Nardone

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

From Dynamic State Machines to Promela.

Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A routing algorithm increasing the transmission availability in smart grids.

Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone

Proceedings of the 2019 Summer Simulation Conference, 2019

Enabling propagation in web of trust by Ethereum.

Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone

Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

2018

A Model-Based Evaluation Methodology for Smart Energy Systems.

Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque

Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.

Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Automatic generation of formal models for diagnosability of DES.

Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Dynamic state machines for modelling railway control systems.

Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini

Sci. Comput. Program., 2017

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.

Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Towards Model-Based Security Assessment of Cloud Applications.

Valentina Casola, Alessandra De Benedictis, Roberto Nardone

Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

2016

Cost-energy modelling and profiling of smart domestic grids.

Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone

Int. J. Grid Util. Comput., 2016

Formal security assessment of Modbus protocol.

Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone

Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016

2015

On synergies of cyber and physical security modelling in vulnerability assessment of railway systems.

Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini

Comput. Electr. Eng., 2015

Modeling Railway Control Systems in Promela.

Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Automatic Resource Allocation for High Availability Cloud Services.

Stefano Marrone, Roberto Nardone

Proceedings of the 6th International Conference on Ambient Systems, 2015

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems.

Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni

Proceedings of the 10th International Conference on P2P, 2015

2014

Towards Model-Driven V&V assessment of railway control systems.

Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini

Int. J. Softw. Tools Technol. Transf., 2014

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems.

Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2014

An Interoperable Testing Environment for ERTMS/ETCS Control Systems.

Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2014

Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.

Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone

Proceedings of the WISE'14, 2014

Dynamic State Machines for Formalizing Railway Control System Specifications.

Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Test Specification Patterns for Automatic Generation of Test Sequences.

Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project.

Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone

Proceedings of the European Project Space on Computational Intelligence, 2014

A Cost-Energy Trade-Off Model in Smart Energy Grids.

Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone

Proceedings of the 2014 Ninth International Conference on P2P, 2014

2013

A Model-Driven Approach to Quantitative Analysis of Critical Systems.

Roberto Nardone

PhD thesis, 2013

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.

Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini

Reliab. Eng. Syst. Saf., 2013

Petri net based evaluation of energy consumption in wireless sensor nodes.

Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone

J. High Speed Networks, 2013

Vulnerability modeling and analysis for critical infrastructure protection applications.

Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca

Int. J. Crit. Infrastructure Prot., 2013

An integrated lifetime and network quality model of large WSNs.

Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini

Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013

Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications.

Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

A Compositional Modelling Approach for Large Sensor Networks Design.

Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone

Proceedings of the Eighth International Conference on P2P, 2013

2012

A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.

Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini

Trans. Petri Nets Other Model. Concurr., 2012

Improving Verification Process in Driverless Metro Systems: The MBAT Project.

Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.

Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

An Integrated Approach for Availability and QoS Evaluation in Railway Systems.

Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo

Proceedings of the Computer Safety, Reliability, and Security, 2011

A simulation framework for supporting design and real-time decisional phases in railway systems.

Egidio Quaglietta, Luca D'Acierno, Vincenzo Punzo, Roberto Nardone, Nicola Mazzocca

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011