FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
An integrated perspective on the evaluation of complex railway systems
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?
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Lenzini, G.; Petrocchi, M.
Coherent modal transition systems refinement
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
2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A.
Exploring LLMs’ ability to detect variability in requirements
2024 Fantechi, A.; Gnesi, S.; Semini, L.
Formal methods for industrial critical systems: 30 years of railway applications
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study
2023 Fantechi A.; Gnesi S.; Semini L.
Formal methods for distributed control systems of future railways
2022 Fantechi, A; Gnesi, S; Haxthausen, Ae
VIBE: looking for Variability In amBiguous rEquirements
2022 Fantechi, A; Gnesi, S; Semini, L
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces
2021 Basile, D; Fantechi, A; Rosadi, I
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.
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
Comparing formal tools for system design: a judgment study
2020 Ferrari, A; Mazzanti, F.; Basile, D.; ter Beek, M. H.; Fantechi, A.
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
Adopting Formal Methods in an Industrial Setting: The Railways Case
2019 ter Beek, M.H.; Boraelv A.; Fantechi A.; Ferrari A.; Gnesi S.; Loefving C.; Mazzanti F.
Applying the QARS tool to detect variability
2019 Fantechi, A; Gnesi, S; Semini, L
ASTrail - Deliverable D4.3 - Validation Report
2019 Ferrari A.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Trentini D.; Piattino A.; Sturani B.
From generic requirements to variability
2019 Fantechi A.; Gnesi S.; Semini L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| 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 | |
| ASTrail - Deliverable D4.3 - Validation Report | 1-gen-2019 | Ferrari A.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Trentini D.; Piattino A.; Sturani B. | |
| From generic requirements to variability | 1-gen-2019 | Fantechi A.; Gnesi S.; Semini L. |