R
Roberto Nardone
Researcher at University of Naples Federico II
Publications - 62
Citations - 807
Roberto Nardone is an academic researcher from University of Naples Federico II. The author has contributed to research in topics: Promela & Computer science. The author has an hindex of 16, co-authored 56 publications receiving 541 citations. Previous affiliations of Roberto Nardone include Mediterranean University & Mediterranea University of Reggio Calabria.
Papers
More filters
Journal ArticleDOI
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 +12 more
TL;DR: The work performed within the ARTEMIS JU project CRYSTAL is described to develop an environment for the functional system-level testing of railway controllers, relying on OSLC to enable inter-operation with existing PLM/ALM tools.
Book ChapterDOI
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 +8 more
TL;DR: An innovative architecture is proposed to simulate railway operation in order to conduct different kinds of analysis and demonstrates the impact on quality of service and service availability of different recovery strategies.
Journal ArticleDOI
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 +5 more
TL;DR: In this paper, the authors describe an architecture that is able to determine best features for classification, depending on existent medical records, based on pre-filtering phase based on Natural Language Processing (NLP) and machine learning classification based on Random Forests.
Book ChapterDOI
Improving verification process in driverless metro systems: the MBAT project
TL;DR: This paper describes in this paper the improvement that MBAT would bring to the Verification process in automatic metro systems and describes the expected results of MBAT project on such kind of processes.
Book ChapterDOI
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 Snook,Valeria Vittorini +6 more
TL;DR: A repository of industry-relevant example problems with an accompanying open data storage for experiment results would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs.