| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 93 | 2016 |
| Model checking interlocking control tables A Ferrari, G Magnani, D Grasso, A Fantechi FORMS/FORMAT 2010, 107-115, 2011 | 90 | 2011 |
| 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 | 79 | 2018 |
| 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 | 77 | 2013 |
| Pure: A dataset of public requirements documents A Ferrari, GO Spagnolo, S Gnesi 2017 IEEE 25th International Requirements Engineering Conference (RE), 502-505, 2017 | 76 | 2017 |
| Natural language processing for requirements engineering: a systematic mapping study L Zhao, W Alhoshan, A Ferrari, KJ Letsholo, MA Ajagbe, EV Chioasca, ... ACM Computing Surveys (CSUR) 54 (3), 1-41, 2021 | 73 | 2021 |
| 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 | 65 | 2018 |
| 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 | 63 | 2017 |
| Measuring and improving the completeness of natural language requirements A Ferrari, GO Spagnolo, S Gnesi International Working Conference on Requirements Engineering: Foundation for …, 2014 | 60 | 2014 |
| Using collective intelligence to detect pragmatic ambiguities A Ferrari, S Gnesi 2012 20th IEEE International Requirements Engineering Conference (RE), 191-200, 2012 | 50 | 2012 |
| Natural Language Requirements Processing: A 4D Vision. A Ferrari, F Dell'Orletta, A Esuli, V Gervasi, S Gnesi IEEE Softw. 34 (6), 28-35, 2017 | 47 | 2017 |
| 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 | 44 | 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 | 44* | |
| 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 | 43 | 2018 |
| 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 | 41 | 2013 |
| 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 | 38 | 2014 |
| An NLP approach for cross-domain ambiguity detection in requirements engineering A Ferrari, A Esuli Automated Software Engineering 26 (3), 559-598, 2019 | 37 | 2019 |
| The metrô rio case study A Ferrari, A Fantechi, G Magnani, D Grasso, M Tempestini Science of Computer Programming 78 (7), 828-842, 2013 | 37 | 2013 |
| 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 | 34 | 2018 |
| Ten diverse formal models for a CBTC automatic train supervision system F Mazzanti, A Ferrari arXiv preprint arXiv:1803.10324, 2018 | 33 | 2018 |
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
