Alessio Ferrari
Alessio Ferrari
Research Scientist, ISTI CNR
Verified email at - Homepage
Cited by
Cited by
Measurement of production with a veto on additional central jet activity in pp collisions at TeV using the ATLAS detector
G Aad, B Abbott, J Abdallah, SA Khalek, AA Abdelalim, A Abdesselam, ...
The European Physical Journal C 72 (6), 2043, 2012
Measurement of Top Quark Polarization in Top-Antitop Events from Proton-Proton Collisions at Using the ATLAS Detector
G Aad, T Abajyan, B Abbott, J Abdallah, SA Khalek, O Abdinov, R Aben, ...
Physical review letters 111 (23), 232002, 2013
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
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
Ambiguity and tacit knowledge in requirements elicitation interviews
A Ferrari, P Spoletini, S Gnesi
Requirements Engineering 21 (3), 333-355, 2016
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
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
Using collective intelligence to detect pragmatic ambiguities
A Ferrari, S Gnesi
2012 20th IEEE International Requirements Engineering Conference (RE), 191-200, 2012
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
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
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
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
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
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
The metrô rio case study
A Ferrari, A Fantechi, G Magnani, D Grasso, M Tempestini
Science of Computer Programming 78 (7), 828-842, 2013
Modeling guidelines for code generation in the railway signaling context
A Ferrari, S Bacherini, A Fantechi, N Zingoni
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20