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 218 (tempo di esecuzione: 0.063 secondi).
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, Mh; 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