FERRARI, ALESSIO

FERRARI, ALESSIO  

SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
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
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 2015 Ferrari, Alessio; Spagnolo, Giorgio O.; Gnesi, Stefania; Dell'Orletta, Felice
Comparing formal tools for system design: A judgment study 2020 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A.
Deadlock Avoidance in Train Scheduling: A Model Checking Approach 2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach 2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 2020 Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings 2017 Ferrari, Alessio; Donati, Beatrice; Gnesi, Stefania
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 2018 Ferrari, Alessio*; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania
Formal methods and safety certification: Challenges in the railways domain 2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 2014 Alessio Ferrari;Giorgio O. Spagnolo;Giacomo Martelli;Simone Menabeni
Hacking an Ambiguity Detection Tool to Extract Variation Points 2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices 2018 Bano, Muneera; Bano, Muneera; Zowghi, Didar; Ferrari, Alessio; Spoletini, Paola; Donati, Beatrice
Mining commonalities and variabilities from natural language documents 2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
Model Checking Interlocking Control Tables 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
Model-Based Development and Formal Methods in the Railway Industry 2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 2018 Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
Product Line Engineering Applied to CBTC Systems Development 2012 Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 2018 Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
The Metro Rio ATP case study 2010 A. Ferrari; D. Grasso; G. Magnani; A. Fantechi