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
Proceedings ArticleDOI
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways
TL;DR: In this paper, the authors provide an overview of the state-of-the-art in LPWAN, with a focus on intelligent transportation, and survey the current state of development of technology enablers for smart-railways considering possible technology transfer from other sectors.
Proceedings ArticleDOI
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 +7 more
TL;DR: This work proposes to augment the code coverage of automated model-based testing techniques, by exploiting information from patterns, defined at different levels, and generating additional test cases that may increase the coverage capability of GUI-Ripping based testing technique.
Journal ArticleDOI
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
TL;DR: This paper defines the core theoretical ideas on which the framework is based and demonstrates their concrete applicability to the development of a multi-formalism approach for performability assessment.
Book ChapterDOI
Test Specification Patterns for Automatic Generation of Test Sequences
TL;DR: A transformational approach is defined which derives Promela code from specifications built by TSPs composition and applies model checking to obtain test sequences by using the SPIN model checker.
Journal ArticleDOI
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications
TL;DR: The results of a quantitative comparison of three different voting schemes based on Bayesian Networks are presented, showing that these models present a growing complexity and they are able to provide a trustworthiness estimation based on single nodes detection reliability in terms of false alarm probabilities.