CNR Institutional Research Information System

GNESI, STEFANIA

GNESI, STEFANIA  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 467 (tempo di esecuzione: 0.045 secondi).
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