CNR Institutional Research Information System

FANTECHI, ALESSANDRO

FANTECHI, ALESSANDRO  

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

Mostra records
Risultati 1 - 20 di 229 (tempo di esecuzione: 0.039 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
Combining established and emerging techniques to detect inconsistencies in requirements 1-gen-2025 Fantechi, A.; Gnesi, S.; Semini, L.
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 1-gen-2025 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
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
An integrated perspective on the evaluation of complex railway systems 1-gen-2024 Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; 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
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 1-gen-2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A.
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.
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 1-gen-2024 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 1-gen-2023 Fantechi A.; Gnesi S.; Semini L.
Formal methods for distributed control systems of future railways 1-gen-2022 Fantechi, A; Gnesi, S; Haxthausen, Ae
VIBE: looking for Variability In amBiguous rEquirements 1-gen-2022 Fantechi, A; Gnesi, S; Semini, L
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces 1-gen-2021 Basile, D; Fantechi, A; Rosadi, I
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.
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
Comparing formal tools for system design: a judgment study 1-gen-2020 Ferrari, A; Mazzanti, F.; Basile, D.; ter Beek, M. H.; Fantechi, A.
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