Sfoglia per Autore
The Metro Rio ATP case study
2010 A. Ferrari; D. Grasso; G. Magnani; A. Fantechi
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini
Model Checking Interlocking Control Tables
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
Product Line Engineering Applied to CBTC Systems Development
2012 Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni
Mining commonalities and variabilities from natural language documents
2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
The Metrô Rio case study
2013 Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini
Model-Based Development and Formal Methods in the Railway Industry
2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
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
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari
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
Formal methods and safety certification: Challenges in the railways domain
2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings
2017 Ferrari, Alessio; Donati, Beatrice; Gnesi, Stefania
Hacking an Ambiguity Detection Tool to Extract Variation Points
2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura
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
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
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP
2018 Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
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
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
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The Metro Rio ATP case study | 2010 | A. Ferrari; D. Grasso; G. Magnani; A. Fantechi | |
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini | |
Model Checking Interlocking Control Tables | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi | |
Product Line Engineering Applied to CBTC Systems Development | 2012 | Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni | |
Mining commonalities and variabilities from natural language documents | 2013 | Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta | |
The Metrô Rio case study | 2013 | Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini | |
Model-Based Development and Formal Methods in the Railway Industry | 2013 | Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani | |
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 | |
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari | |
Deadlock Avoidance in Train Scheduling: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari | |
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 | |
Formal methods and safety certification: Challenges in the railways domain | 2016 | Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania | |
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings | 2017 | Ferrari, Alessio; Donati, Beatrice; Gnesi, Stefania | |
Hacking an Ambiguity Detection Tool to Extract Variation Points | 2018 | Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura | |
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 | |
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 | |
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP | 2018 | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini | |
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 | |
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 | |
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. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile