Roberto Nardone
Orcid: 0000-0003-4938-9216
According to our database1,
Roberto Nardone
authored at least 62 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
1
1
2
5
6
2
1
1
1
1
3
1
3
3
2
1
4
3
2
1
3
7
3
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Enabling secure health information sharing among healthcare organizations by public blockchain.
Multim. Tools Appl., July, 2024
Exploiting Data Spaces to Enable Privacy Preserving Data Exchange in the Energy Supply Chain.
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Secure and Transparent Data Sharing Among Connected Devices: Integrating Data Spaces and Provenance.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024
2023
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance.
Eng. Appl. Artif. Intell., 2023
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2023
Proceedings of the 31st Euromicro International Conference on Parallel, 2023
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023
2022
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications.
IEEE Trans. Intell. Transp. Syst., 2022
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance.
IEEE Access, 2022
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.
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.
Proceedings of the 6th International Conference on System Reliability and Safety, 2022
2021
Security modelling and formal verification of survivability properties: Application to cyber-physical systems.
J. Syst. Softw., 2021
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain.
Neurocomputing, 2021
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.
Formal Aspects Comput., 2021
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review.
IEEE Access, 2021
2020
IEEE Trans. Intell. Transp. Syst., 2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw., 2020
Int. J. Crit. Infrastructure Prot., 2020
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study.
Future Gener. Comput. Syst., 2020
Future Gener. Comput. Syst., 2020
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways.
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.
Softw. Syst. Model., 2019
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
Softw. Syst. Model., 2019
Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 2019 Summer Simulation Conference, 2019
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019
2018
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
2017
Sci. Comput. Program., 2017
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017
2016
Int. J. Grid Util. Comput., 2016
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.
Comput. Electr. Eng., 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
Proceedings of the 6th International Conference on Ambient Systems, 2015
Proceedings of the 10th International Conference on P2P, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.
Proceedings of the WISE'14, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project.
Proceedings of the European Project Space on Computational Intelligence, 2014
Proceedings of the 2014 Ninth International Conference on P2P, 2014
2013
PhD thesis, 2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013
J. High Speed Networks, 2013
Vulnerability modeling and analysis for critical infrastructure protection applications.
Int. J. Crit. Infrastructure Prot., 2013
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
Proceedings of the Eighth International Conference on P2P, 2013
2012
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets Other Model. Concurr., 2012
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
A simulation framework for supporting design and real-time decisional phases in railway systems.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011