default search action
Roberto Nardone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]Gianluca Lax, Roberto Nardone, Antonia Russo:
Enabling secure health information sharing among healthcare organizations by public blockchain. Multim. Tools Appl. 83(24): 64795-64811 (2024) - [c36]Roberto Nardone, Alfredo Petruolo, Federica Uccello:
Secure and Transparent Data Sharing Among Connected Devices: Integrating Data Spaces and Provenance. CSR 2024: 670-675 - [c35]Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) 2024: 174-189 - [c34]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 - 2023
- [j24]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): 106405 (2023) - [c33]Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Andrej Souvent:
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids. ARES 2023: 80:1-80:10 - [c32]Salvatore D'Antonio, Roberto Nardone, Nicola Russo, Federica Uccello:
A Tamper-Resistant Storage Framework for Smart Grid security. PDP 2023: 100-103 - [c31]Luigi Coppolino, Roberto Nardone, Luigi Romano:
Securing FIWARE with TEE Technology. SoMeT 2023: 149-160 - 2022
- [j23]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: 65376-65400 (2022) - [j22]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): 14011-14024 (2022) - [c30]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: 69-74 - [c29]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: 308-320 - [e2]Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini:
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Communications in Computer and Information Science 1656, Springer 2022, ISBN 978-3-031-16244-2 [contents] - 2021
- [j21]Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini:
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access 9: 4797-4819 (2021) - [j20]Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33(6): 989-1007 (2021) - [j19]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: 79-91 (2021) - [j18]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: 110746 (2021) - [j17]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): 5081-5090 (2021) - 2020
- [j16]Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone:
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110: 311-313 (2020) - [j15]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: 965-981 (2020) - [j14]Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini:
Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. 31: 100390 (2020) - [j13]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) - [j12]Francesco Buccafurri, Vincenzo De Angelis, Roberto Nardone:
Securing MQTT by Blockchain-Based OTP Authentication. Sensors 20(7): 2002 (2020) - [j11]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): 2545-2556 (2020) - [c28]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: 1-7 - [e1]Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci:
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings. Communications in Computer and Information Science 1279, Springer 2020, ISBN 978-3-030-58461-0 [contents]
2010 – 2019
- 2019
- [j10]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): 523-556 (2019) - [j9]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): 2241-2264 (2019) - [c27]Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone:
Enabling propagation in web of trust by Ethereum. IDEAS 2019: 9:1-9:6 - [c26]Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone:
A routing algorithm increasing the transmission availability in smart grids. SummerSim 2019: 47:1-47:12 - [c25]Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini:
From Dynamic State Machines to Promela. SPIN 2019: 56-73 - [c24]Francesco Buccafurri, Gianluca Lax, Lorenzo Musarella, Roberto Nardone:
A Novel Query Language for Data Extraction from Social Networks. WEBIST 2019: 365-371 - 2018
- [c23]Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini:
Automatic generation of formal models for diagnosability of DES. ETFA 2018: 43-48 - [c22]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: 249-272 - [c21]Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque:
A Model-Based Evaluation Methodology for Smart Energy Systems. SMARTCOMP 2018: 187-194 - 2017
- [j8]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: 116-153 (2017) - [c20]Valentina Casola, Alessandra De Benedictis, Roberto Nardone:
Towards Model-Based Security Assessment of Cloud Applications. GPC 2017: 773-785 - [c19]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: 34-50 - 2016
- [j7]Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone:
Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. 7(4): 257-271 (2016) - [c18]Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone:
Formal security assessment of Modbus protocol. ICITST 2016: 142-147 - 2015
- [j6]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: 275-285 (2015) - [c17]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: 527-532 - [c16]Stefano Marrone, Roberto Nardone:
Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT 2015: 980-987 - [c15]Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
Modeling Railway Control Systems in Promela. FTSCS 2015: 121-136 - 2014
- [j5]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): 669-683 (2014) - [c14]Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone:
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC 2014: 394-399 - [c13]Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone:
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS 2014 - [c12]Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron:
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS 2014: 170-184 - [c11]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: 93-109 - [c10]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: 29-34 - [c9]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: 147-156 - [c8]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: 230-245 - 2013
- [b1]Roberto Nardone:
A Model-Driven Approach to Quantitative Analysis of Critical Systems. University of Naples Federico II, Italy, 2013 - [j4]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): 217-227 (2013) - [j3]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): 339-358 (2013) - [j2]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: 112-126 (2013) - [c7]Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone:
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC 2013: 422-429 - [c6]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: 1588-1593 - [c5]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: 132-137 - 2012
- [j1]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: 308-333 (2012) - [c4]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: 190-204 - [c3]Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi:
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) 2012: 231-245 - 2011
- [c2]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: 846-851 - [c1]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: 171-184
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint