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
Adding Sessions to BPEL
2012 Jonathan Michaux;Elie Najm;Alessandro Fantechi
Adopting Formal Methods in an Industrial Setting: The Railways Case
2019 ter Beek, Maurice H.; Borälv, Arne; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Löfving, Christer; Mazzanti, Franco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "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 | |
| Adding Sessions to BPEL | 2012 | Jonathan Michaux;Elie Najm;Alessandro Fantechi | |
| Adopting Formal Methods in an Industrial Setting: The Railways Case | 2019 | ter Beek, Maurice H.; Borälv, Arne; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Löfving, Christer; Mazzanti, Franco |