Alessio Ferrari
Alessio Ferrari
Research Scientist, ISTI CNR
Verified email at isti.cnr.it - Homepage
Title
Cited by
Cited by
Year
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
822011
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
712013
Ambiguity and tacit knowledge in requirements elicitation interviews
A Ferrari, P Spoletini, S Gnesi
Requirements Engineering 21 (3), 333-355, 2016
662016
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
532018
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
512014
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
462017
Natural language processing for requirements engineering: The best is yet to come
F Dalpiaz, A Ferrari, X Franch, C Palomares
IEEE software 35 (5), 115-119, 2018
432018
Using collective intelligence to detect pragmatic ambiguities
A Ferrari, S Gnesi
2012 20th IEEE International Requirements Engineering Conference (RE), 191-200, 2012
402012
Natural language requirements processing: a 4D vision
A Ferrari, F Dell'Orletta, A Esuli, V Gervasi, S Gnesi
IEEE Annals of the History of Computing 34 (06), 28-35, 2017
382017
Pure: A dataset of public requirements documents
A Ferrari, GO Spagnolo, S Gnesi
2017 IEEE 25th International Requirements Engineering Conference (RE), 502-505, 2017
372017
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, 0
37*
Detecting domain-specific ambiguities: an NLP approach based on Wikipedia crawling and word embeddings
A Ferrari, B Donati, S Gnesi
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
362017
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
342013
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
322014
The metrô rio case study
A Ferrari, A Fantechi, G Magnani, D Grasso, M Tempestini
Science of Computer Programming 78 (7), 828-842, 2013
322013
Measurement of the production cross section for a Higgs boson in association with a vector boson in the H→ WW⁎→ ℓνℓν channel in pp collisions at s= 13 TeV with the ATLAS detector
G Aad, B Abbott, DC Abbott, AA Abud, K Abeling, DK Abhayasinghe, ...
Physics Letters B 798, 134949, 2019
302019
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
A Ferrari, G Gori, B Rosadini, I Trotta, S Bacherini, A Fantechi, S Gnesi
Empirical Software Engineering 23 (6), 3684-3733, 2018
302018
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
282018
Ten diverse formal models for a CBTC automatic train supervision system
F Mazzanti, A Ferrari
arXiv preprint arXiv:1803.10324, 2018
272018
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
272013
The system can't perform the operation now. Try again later.
Articles 1–20