A. Fantechi
Università degli Studi di Firenze
H-index: 37
Europe-Italy
Top articles of A. Fantechi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Exploring LLMs’ Ability to Detect Variability in Requirements | Alessandro Fantechi Stefania Gnesi Laura Semini | 2024/3/30 | |
Coherent modal transition systems refinement | Journal of Logical and Algebraic Methods in Programming | Davide Basile Maurice H ter Beek Alessandro Fantechi Stefania Gnesi | 2024/2/28 |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 | |
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation | Alessandro Fantechi Stefania Gnesi Lucia Passaro Laura Semini | 2023/9/4 | |
Decomposing the verification of interlocking systems | Anne E Haxthausen Alessandro Fantechi Gloria Gori | 2023/8/17 | |
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. | Alessandro Fantechi Stefania Gnesi Laura Semini | 2023/4/17 | |
Compositional verification of railway interlocking systems | Alessandro Fantechi Gloria Gori Anne E Haxthausen Christophe Limbrée | 2022/5/20 | |
Automated Compositional Verification of Interlocking Systems | Anne E Haxthausen Alessandro Fantechi Gloria Gori Óli Kárason Mikkelsen Sofie-Amalie Petersen | 2023/9/27 | |
VIBE: looking for variability in ambiguous requirements | Journal of Systems and Software | Alessandro Fantechi Stefania Gnesi Laura Semini | 2023/1/1 |
The 4SECURail Case Study on Rigorous Standard Interface Specifications | Dimitri Belli Alessandro Fantechi Stefania Gnesi Laura Masullo Franco Mazzanti | 2023/9/17 | |
Runtime reliability monitoring for complex fault-tolerance policies | Alessandro Fantechi Gloria Gori Marco Papini | 2022/11/23 | |
VaMoS'22: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems | Paolo Arcaini Xavier Devroey Alessandro Fantechi | 2022/2 | |
Software rejuvenation and runtime reliability monitoring | Alessandro Fantechi Gloria Gori Marco Papini | 2022/10/31 | |
Proof of Completeness of Compositional Verification of Interlocking Systems | Anne Elisabeth Haxthausen Alessandro Fantechi | 2022 | |
Future train control systems: challenges for dependability assessment | Alessandro Fantechi Stefania Gnesi Gloria Gori | 2022/10/17 | |
Formal methods for distributed control systems of future railways | Alessandro Fantechi Stefania Gnesi Anne E Haxthausen | 2022/10/17 | |
A vision of intelligent train control | Francesco Flammini Lorenzo De Donato Alessandro Fantechi Valeria Vittorini | 2022/5/20 | |
Language and Communication Problems in Formalization: A Natural Language Approach | Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday | Alessandro Fantechi Stefania Gnesi Laura Semini | 2021 |
Technical Notes on the Proof of a Stutter Trace Inclusion Theorem | Anne Elisabeth Haxthausen Alessandro Fantechi | 2021 | |
Un approccio euristico alla diagnostica predittiva dello stato di usura delle ruote basato su un dispositivo di terra a basso costo. | Ingegneria Ferroviaria | Laura CARNEVALI Alessandro FANTECHI Gloria GORI Jacopo PARRI Moreno PIERALLI | 2021/1/1 |