GNESI, STEFANIA
GNESI, STEFANIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A
2023 Arcaini, P; TER BEEK, MAURICE HENRI; Perrouin, G; Reinhartzberger, I; Luaces, Mr; Schwanninger, C; Ali, S; Varshosaz, M; Gargantini, A; Gnesi, S; Lochau, M; Semini, L; Washizaki, H
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation
2023 Fantechi, A; Gnesi, S; Passaro, L; Semini, L
Message from the Chairs: FormaliSE 2023
2023 Gnesi, S; Plat, N; Jakobs, M C; Murray, T; Ferrari, A; Broccia, G
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study
2023 Fantechi A.; Gnesi S.; Semini L.
The 4SECURail case study on rigorous standard interface specifications
2023 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Quadrini, L; Trentini, D; Vaghi, C
Formal methods for distributed control systems of future railways
2022 Fantechi, A; Gnesi, S; Haxthausen, Ae
Future train control systems: challenges for dependability assessment
2022 Fantechi, A; Gnesi, S; Gori, G
The 4SECURail approach to formalizing standard interfaces between signalling systems components
2022 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Pistilli, G; Quadrini, L; Trentini, D; Vaghi, C
VIBE: looking for Variability In amBiguous rEquirements
2022 Fantechi A.; Gnesi S.; Semini L.
A spaCy-based tool for extracting variability from NL requirements
2021 Fantechi, A; Gnesi, S; Livi, S; Semini, L
Supervisory synthesis of configurable behavioural contracts with modalities
2021 Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F.
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.
4SECURail - D.2.1: Specification of formal development demonstrator
2020 Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Ferrari A.; Piattino A.; Masullo L.; Trentini D.
A comparison of NLP Tools for RE to extract Variation Points
2020 Arrabito M.; Fantechi A.; Gnesi S.; Semini L.
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
Designing a demonstrator of formal methods for railways infrastructure managers
2020 Basile, D; ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Masullo, L; Mazzanti, F; Piattino, A; Trentini, D
Formal Methods for Distributed Computing in Future Railway Systems
2020 Fantechi, A; Gnesi, S; Haxthausen, Ae
Message from the chairs formaliSE 2020
2020 Gnesi, S; Plat, N; Bae, K; Bianculli, D; Krstic, S
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents
2020 Arganese, E; Fantechi, A; Gnesi, S; Semini, L
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Coherent modal transition systems refinement | 1-gen-2024 | Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania | |
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A | 1-gen-2023 | Arcaini, P; TER BEEK, MAURICE HENRI; Perrouin, G; Reinhartzberger, I; Luaces, Mr; Schwanninger, C; Ali, S; Varshosaz, M; Gargantini, A; Gnesi, S; Lochau, M; Semini, L; Washizaki, H | |
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation | 1-gen-2023 | Fantechi, A; Gnesi, S; Passaro, L; Semini, L | |
Message from the Chairs: FormaliSE 2023 | 1-gen-2023 | Gnesi, S; Plat, N; Jakobs, M C; Murray, T; Ferrari, A; Broccia, G | |
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study | 1-gen-2023 | Fantechi A.; Gnesi S.; Semini L. | |
The 4SECURail case study on rigorous standard interface specifications | 1-gen-2023 | Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Quadrini, L; Trentini, D; Vaghi, C | |
Formal methods for distributed control systems of future railways | 1-gen-2022 | Fantechi, A; Gnesi, S; Haxthausen, Ae | |
Future train control systems: challenges for dependability assessment | 1-gen-2022 | Fantechi, A; Gnesi, S; Gori, G | |
The 4SECURail approach to formalizing standard interfaces between signalling systems components | 1-gen-2022 | Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Pistilli, G; Quadrini, L; Trentini, D; Vaghi, C | |
VIBE: looking for Variability In amBiguous rEquirements | 1-gen-2022 | Fantechi A.; Gnesi S.; Semini L. | |
A spaCy-based tool for extracting variability from NL requirements | 1-gen-2021 | Fantechi, A; Gnesi, S; Livi, S; Semini, L | |
Supervisory synthesis of configurable behavioural contracts with modalities | 1-gen-2021 | Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F. | |
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC | 1-gen-2020 | Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O. | |
4SECURail - D.2.1: Specification of formal development demonstrator | 1-gen-2020 | Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Ferrari A.; Piattino A.; Masullo L.; Trentini D. | |
A comparison of NLP Tools for RE to extract Variation Points | 1-gen-2020 | Arrabito M.; Fantechi A.; Gnesi S.; Semini L. | |
An experience with the application of three nlp tools for the analysis of natural language requirements | 1-gen-2020 | Arrabito, M; Fantechi, A; Gnesi, S; Semini, L | |
Designing a demonstrator of formal methods for railways infrastructure managers | 1-gen-2020 | Basile, D; ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Masullo, L; Mazzanti, F; Piattino, A; Trentini, D | |
Formal Methods for Distributed Computing in Future Railway Systems | 1-gen-2020 | Fantechi, A; Gnesi, S; Haxthausen, Ae | |
Message from the chairs formaliSE 2020 | 1-gen-2020 | Gnesi, S; Plat, N; Bae, K; Bianculli, D; Krstic, S | |
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents | 1-gen-2020 | Arganese, E; Fantechi, A; Gnesi, S; Semini, L |