| Model checking interlocking control tables A Ferrari, G Magnani, D Grasso, A Fantechi FORMS/FORMAT 2010, 107-115, 2011 | 80 | 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 | 68 | 2013 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 62 | 2016 |
| 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 | 48 | 2018 |
| 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 | 47 | 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 | 46 | 2017 |
| Using collective intelligence to detect pragmatic ambiguities A Ferrari, S Gnesi 2012 20th IEEE International Requirements Engineering Conference (RE), 191-200, 2012 | 39 | 2012 |
| 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 | 35 | 2018 |
| 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 | 33 | 2017 |
| Pure: A dataset of public requirements documents A Ferrari, GO Spagnolo, S Gnesi 2017 IEEE 25th International Requirements Engineering Conference (RE), 502-505, 2017 | 33 | 2017 |
| 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 | 33 | 2013 |
| 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 | 33* | |
| 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 | 31 | 2014 |
| The metrô rio case study A Ferrari, A Fantechi, G Magnani, D Grasso, M Tempestini Science of Computer Programming 78 (7), 828-842, 2013 | 30 | 2013 |
| 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 | 29 | 2017 |
| 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 | 26 | 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 | 25 | 2018 |
| 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 | 24 | 2018 |
| Modeling Guidelines for Code Generation in the Railway Signaling Context. A Ferrari, A Fantechi, S Bacherini, N Zingoni NASA formal methods, 166-170, 2009 | 24 | 2009 |
| Ten diverse formal models for a CBTC automatic train supervision system F Mazzanti, A Ferrari arXiv preprint arXiv:1803.10324, 2018 | 23 | 2018 |
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
