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
Book ChapterDOI
From Dynamic State Machines to Promela
Massimo Benerecetti,Ugo Gentile,Stefano Marrone,Roberto Nardone,Adriano Peron,Luigi Libero Lucio Starace,Valeria Vittorini +6 more
TL;DR: This paper presents a translation of DSTM models in Promela that can enable automatic test case generation via model checking and, at least in principle, system verification.
Proceedings ArticleDOI
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project
TL;DR: This chapter investigates the possibility to further improve V&V processes by exploiting synergies between model-driven techniques and knowledge engineering ones by improving the level of automation of traditional processes.
Journal ArticleDOI
Computer-aided security assessment of water networks monitoring platforms
TL;DR: Evaluating the impact of monitoring platforms over the protection of modern transport networks and to recognize the most probable attack source during operational phases and an instance within the domain of the water distribution networks is presented.
Book ChapterDOI
Towards Model-Driven Assessment of Clinical Processes
Flora Amato,Giovanni Cozzolino,Alessandra D’Alessio,Stefano Marrone,Nicola Mazzocca,Gianluca Mele,Roberto Nardone +6 more
TL;DR: An approach for modelling clinical workflows based on Model-Driven principles is defined, which is supported by the Dynamic State Machine (DSTM) formalism, that is a well-formed graphical language able to represent state based systems.
Journal ArticleDOI
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance
Lorenzo De Donato,S. Marrone,F. Flammini,Carlos Eduardo Sansone,V. Vittorini,Roberto Nardone,Claudio Mazzariello,Frédéric Bernaudin +7 more
TL;DR: In this article , the authors focus on the intelligent detection of anomalies in warning bells through non-intrusive acoustic monitoring by introducing a new concept for autonomous monitoring of level crossings, generating and sharing a specific dataset collecting relevant audio signals from publicly available audio recordings, and implementing and evaluating a solution combining deep learning and transfer learning for warning bell detection.