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 476 (tempo di esecuzione: 0.053 secondi).
Titolo Data di pubblicazione Autore(i) File
A history of formal methods in railways 1-gen-2026 Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry
Formal methods for railway systems: a survey of research and technology transfer projects 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday 1-gen-2026 Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura
Combining established and emerging techniques to detect inconsistencies in requirements 1-gen-2025 Fantechi, A.; Gnesi, S.; Semini, L.
Leveraging requirements elicitation through software requirement patterns and LLMs 1-gen-2025 Franch, X.; Gnesi, S.; Paccosi, F.; Quer, C.; Semini, L.
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 1-gen-2025 Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 1-gen-2025 Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G.
Can AI help with the formalization of railway cybersecurity requirements? 1-gen-2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Lenzini, G.; Petrocchi, M.
Coherent modal transition systems refinement 1-gen-2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Exploring LLMs’ ability to detect variability in requirements 1-gen-2024 Fantechi, A.; Gnesi, S.; Semini, L.
Formal methods for industrial critical systems: 30 years of railway applications 1-gen-2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.
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