FANTECHI, ALESSANDRO

FANTECHI, ALESSANDRO  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 153 (tempo di esecuzione: 0.025 secondi).
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