Alessio Ferrari
Alessio Ferrari
Research Scientist, ISTI CNR
Verified email at isti.cnr.it - Homepage
TitleCited byYear
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
752011
Mining commonalities and variabilities from natural language documents
A Ferrari, GO Spagnolo, F Dell'Orletta
Proceedings of the 17th International Software Product Line Conference, 116-120, 2013
552013
Measuring and improving the completeness of natural language requirements
A Ferrari, F dell’Orletta, GO Spagnolo, S Gnesi
International Working Conference on Requirements Engineering: Foundation forá…, 2014
372014
Ambiguity and tacit knowledge in requirements elicitation interviews
A Ferrari, P Spoletini, S Gnesi
Requirements Engineering 21 (3), 333-355, 2016
352016
Using collective intelligence to detect pragmatic ambiguities
A Ferrari, S Gnesi
2012 20th IEEE International Requirements Engineering Conference (RE), 191-200, 2012
342012
Using NLP to detect requirements defects: An industrial experience in the railway domain
B Rosadini, A Ferrari, G Gori, A Fantechi, S Gnesi, I Trotta, S Bacherini
International Working Conference on Requirements Engineering: Foundation forá…, 2017
332017
A guidelines framework for understandable BPMN models
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo
Data & Knowledge Engineering 113, 129-154, 2018
272018
Natural language requirements processing: a 4D vision
A Ferrari, F Dell’Orletta, A Esuli, V Gervasi, S Gnesi
IEEE Software 34 (6), 28-35, 2017
262017
Using clustering to improve the structure of natural language requirements documents
A Ferrari, S Gnesi, G Tolomei
International Working Conference on Requirements Engineering: Foundation forá…, 2013
232013
Pragmatic ambiguity detection in natural language requirements
A Ferrari, G Lipari, S Gnesi, GO Spagnolo
2014 IEEE 1st International Workshop on Artificial Intelligence forá…, 2014
222014
The metr˘ rio case study
A Ferrari, A Fantechi, G Magnani, D Grasso, M Tempestini
Science of Computer Programming 78 (7), 828-842, 2013
222013
Model-based development and formal methods in the railway industry
A Ferrari, A Fantechi, S Gnesi, G Magnani
IEEE software 30 (3), 28-34, 2013
222013
Modeling guidelines for code generation in the railway signaling context
A Ferrari, S Bacherini, A Fantechi, N Zingoni
202009
On the industrial uptake of formal methods in the railway domain
D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...
International Conference on Integrated Formal Methods, 20-29, 2018
182018
The metr˘ rio ATP case study
A Ferrari, D Grasso, G Magnani, A Fantechi, M Tempestini
International Workshop on Formal Methods for Industrial Critical Systems, 1-16, 2010
182010
Ambiguity as a resource to disclose tacit knowledge
A Ferrari, P Spoletini, S Gnesi
2015 IEEE 23rd International Requirements Engineering Conference (RE), 26-35, 2015
172015
Deadlock avoidance in train scheduling: a model checking approach
F Mazzanti, GO Spagnolo, S Della Longa, A Ferrari
International Workshop on Formal Methods for Industrial Critical Systemsá…, 2014
172014
Towards formal methods diversity in railways: an experience report with seven frameworks
F Mazzanti, A Ferrari, GO Spagnolo
International Journal on Software Tools for Technology Transfer 20 (3), 263-288, 2018
142018
Ten diverse formal models for a CBTC automatic train supervision system
F Mazzanti, A Ferrari
arXiv preprint arXiv:1803.10324, 2018
142018
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
A Ferrari, GO Spagnolo, G Martelli, S Menabeni
International Journal on Software Tools for Technology Transfer 16 (6), 647-667, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20