GNESI, STEFANIA
GNESI, STEFANIA
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
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 |