FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
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,; MazzantiF.; 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.
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
2019 Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results
2019 Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi
Applications of formal methods, modeling, and testing strategies for safe software development
2018 Fantechi A.; Ferrari A.; Gnesi S.
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1
2018 Ferrari, A; TER BEEK, MAURICE HENRI; Mazzanti, F; Basile, D; Fantechi, A; Gnesi, S; Piattino, A; Sturani, B; Trentini, D
ASTRail D4.2 - Preliminary Trial Report
2018 Ferrari, A; Basile, D; Mazzanti, F; Fantechi, A; Gnesi, S; Piattino, A; Trentini, D
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 | |
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,; MazzantiF.; 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. | |
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System | 1-gen-2019 | Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca | |
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results | 1-gen-2019 | Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi | |
Applications of formal methods, modeling, and testing strategies for safe software development | 1-gen-2018 | Fantechi A.; Ferrari A.; Gnesi S. | |
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 | 1-gen-2018 | Ferrari, A; TER BEEK, MAURICE HENRI; Mazzanti, F; Basile, D; Fantechi, A; Gnesi, S; Piattino, A; Sturani, B; Trentini, D | |
ASTRail D4.2 - Preliminary Trial Report | 1-gen-2018 | Ferrari, A; Basile, D; Mazzanti, F; Fantechi, A; Gnesi, S; Piattino, A; Trentini, D |