GNESI, STEFANIA

GNESI, STEFANIA  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
A logical framework to deal with variability 2010 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi
A model-checking tool for families of services. 2011 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi;
A spaCy-based tool for extracting variability from NL requirements 2021 Fantechi A.; Gnesi S.; Livi S.; Semini L.
A state/event-based model-checking approach for the analysis of abstract system properties. 2011 M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case 2019 ter Beek, Maurice H.; Borälv, Arne; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Löfving, Christer; Mazzanti, Franco
Ambiguity defects as variation points in requirements 2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
An experience with the application of three nlp tools for the analysis of natural language requirements 2020 Arrabito M.; Fantechi A.; Gnesi S.; Semini L.
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 2015 Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Applying the QuARS tool to detect variability 2019 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Coherent modal transition systems refinement 2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Controller synthesis of service contracts with variability 2020 Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita
Design and validation of variability in product lines 2011 Patrizia Asirelli;Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 2020 Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 2018 Ferrari, Alessio*; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania
Formal Description of Variability in Product Families 2011 Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi
Formal methods and safety certification: Challenges in the railways domain 2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
Formal Methods for Distributed Computing in Future Railway Systems 2020 Fantechi A.; Gnesi S.; Haxthausen A.E.
Formal methods for railway control systems 2014 Alessandro Fantechi; Francesco Flammini; Stefania Gnesi
Hacking an Ambiguity Detection Tool to Extract Variation Points 2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura