FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
Ingegneria dell'Informazione
"A Comparison between Handwritten and Automatic Generation of C Code from SDL using Static Analysis"
2005 M. BECUCCI; A. FANTECHI; M GIROMINI; E. SPINICCI
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.
A Behavioural Model for Product Families
2007 A. FANTECHI; S. GNESI
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
2005 A. FANTECHI; E. SPINICCI
A deontic logical framework for modelling product families
2010 P. Asirelli; M. H. Ter Beek; S. Gnesi; A. Fantechi
A GUI Testability Problem: A Case Study in the Railway Signaling Domain
2012 Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment
2021 Laura Carnevali, Alessandro Fantechi, Gloria Gori, Jacopo Parri, Moreno Pieralli, Samuele Sampietro
A logical framework to deal with variability
2010 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi
A Logical Verification Methodology for Service-Oriented Computing
2012 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Methodology for the Derivation and Verification of Use Cases for Product Lines
2004 A. FANTECHI; S. GNESI; G. LAMI; E. NESTI
A model checking approach for verifying COWS specifications
2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A model-checking tool for families of services.
2011 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi;
A novel layered approach to evaluate reliability of complex systems
2019 Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
A Relation-based Approach to Use Case Analysis
2003 A. FANTECHI; S. GNESI; G. LAMI
A spaCy-based tool for extracting variability from NL requirements
2021 Fantechi A.; Gnesi S.; Livi S.; Semini L.
A state/event-based model-checking approach for the analysis of abstract system properties.
2011 M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti
A Story about Formal Methods Adoption by a Railway Signaling Manufacturer
2006 S. BACHERINI; A. FANTECHI; M. TEMPESTINI; N. ZINGONI
A Symbolic Model Checker for ACTL
1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
A Vision of Intelligent Train Control
2022 Flammini F.; De Donato L.; Fantechi A.; Vittorini V.
Adding Sessions to BPEL
2012 Jonathan Michaux;Elie Najm;Alessandro Fantechi