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
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
Mining commonalities and variabilities from natural language documents
2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
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
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
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
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
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
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP
2018 Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
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
Hacking an Ambiguity Detection Tool to Extract Variation Points
2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura
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
Comparing formal tools for system design: A judgment study
2020 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A.
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 | |
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 | |
Mining commonalities and variabilities from natural language documents | 2013 | Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta | |
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 | |
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 | |
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 | |
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 | |
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 | |
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP | 2018 | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini | |
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 | |
Hacking an Ambiguity Detection Tool to Extract Variation Points | 2018 | Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura | |
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 | |
Comparing formal tools for system design: A judgment study | 2020 | Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A. |
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