| Applications of linguistic techniques for use case analysis A Fantechi, S Gnesi, G Lami, A Maccari Requirements Engineering 8 (3), 161-170, 2003 | 286 | 2003 |
| Pure: A dataset of public requirements documents A Ferrari, GO Spagnolo, S Gnesi 2017 IEEE 25th international requirements engineering conference (RE), 502-505, 2017 | 269 | 2017 |
| An automatic tool for the analysis of natural language requirements G Lami, S Gnesi, F Fabbrini, M Fusani, G Trentanni Informe técnico, CNR Information Science and Technology Institute, Pisa …, 2004 | 238 | 2004 |
| The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool F Fabbrini, M Fusani, S Gnesi, G Lami proceedings 26th annual NASA Goddard software engineering workshop, 97-105, 2001 | 212 | 2001 |
| Web service composition approaches: From industrial standards to formal methods M Ter Beek, A Bucchiarone, S Gnesi Second International Conference on Internet and Web Applications and …, 2007 | 203 | 2007 |
| An automatic quality evaluation for natural language requirements F Fabbrini, M Fusani, S Gnesi, G Lami Proceedings of the Seventh International Workshop on Requirements …, 2001 | 177 | 2001 |
| 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 | 158 | 2018 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 155 | 2016 |
| Assisting requirement formalization by means of natural language translation A Fantechi, S Gnesi, G Ristori, M Carenini, M Vanocchi, P Moreschini Formal Methods in System Design 4 (3), 243-263, 1994 | 151 | 1994 |
| Formal methods for service composition MH Ter Beek, A Bucchiarone, S Gnesi Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007 | 133 | 2007 |
| Formal test-case generation for UML statecharts S Gnesi, D Latella, M Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004 | 130 | 2004 |
| Formal modeling for product families engineering A Fantechi, S Gnesi 2008 12th International Software Product Line Conference, 193-202, 2008 | 129 | 2008 |
| Formal description of variability in product families P Asirelli, MH Ter Beek, S Gnesi, A Fantechi 2011 15th International Software Product Line Conference, 130-139, 2011 | 128 | 2011 |
| A survey on services composition languages and models A Bucchiarone, S Gnesi International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006) 7, 2006 | 127 | 2006 |
| 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 | 125 | 2018 |
| Model checking UML statechart diagrams using JACK S Gnesi, D Latella, M Massink Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999 | 122 | 1999 |
| An action-based framework for veryfying logical and behavioural properties of concurrent systems R De Nicola, A Fantechi, S Gnesi, G Ristori Computer networks and ISDN systems 25 (7), 761-778, 1993 | 121 | 1993 |
| The integration Project for the JACK Environment A Bouali, S Gnesi, S Larosa Centrum voor Wiskunde en Informatica, 1994 | 114 | 1994 |
| A state/event-based model-checking approach for the analysis of abstract system properties MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti Science of Computer Programming 76 (2), 119-135, 2011 | 109 | 2011 |
| Pluto: A test methodology for product families A Bertolino, S Gnesi International Workshop on Software Product-Family Engineering, 181-197, 2003 | 109 | 2003 |
