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 226 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
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.
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
Formal Methods for Distributed Computing in Future Railway Systems 1-gen-2020 Fantechi, A; Gnesi, S; Haxthausen, Ae
Adopting Formal Methods in an Industrial Setting: The Railways Case 1-gen-2019 ter Beek, M.H.; Boraelv A.; Fantechi A.; Ferrari A.; Gnesi S.; Loefving C.; Mazzanti F.
Applying the QARS tool to detect variability 1-gen-2019 Fantechi, A; Gnesi, S; Semini, L