| Applications of linguistic techniques for use case analysis A Fantechi, S Gnesi, G Lami, A Maccari Requirements Engineering 8, 161-170, 2003 | 284 | 2003 |
| 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 | 231 | 2004 |
| 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 | 202 | 2007 |
| 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 | 198 | 2001 |
| Pure: A dataset of public requirements documents A Ferrari, GO Spagnolo, S Gnesi 2017 IEEE 25th international requirements engineering conference (RE), 502-505, 2017 | 189 | 2017 |
| 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 | 168 | 2001 |
| 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, 243-263, 1994 | 142 | 1994 |
| 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 | 138 | 2018 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 133 | 2016 |
| Formal methods for service composition MH Ter Beek, A Bucchiarone, S Gnesi Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007 | 131 | 2007 |
| 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 | 129 | 2011 |
| Formal modeling for product families engineering A Fantechi, S Gnesi 2008 12th International Software Product Line Conference, 193-202, 2008 | 128 | 2008 |
| Formal test-case generation for UML statecharts S Gnesi, D Latella, M Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004 | 127 | 2004 |
| 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 | 125 | 2006 |
| 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 | 123 | 1993 |
| 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 |
| Use case-based testing of product lines A Bertolino, S Gnesi ACM SIGSOFT Software Engineering Notes 28 (5), 355-358, 2003 | 116 | 2003 |
| The integration Project for the JACK Environment A Bouali, S Gnesi, S Larosa Centrum voor Wiskunde en Informatica, 1994 | 116 | 1994 |
| Pluto: A test methodology for product families A Bertolino, S Gnesi International Workshop on Software Product-Family Engineering, 181-197, 2003 | 115 | 2003 |
| 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 | 105 | 2011 |