| Applications of linguistic techniques for use case analysis A Fantechi, S Gnesi, G Lami, A Maccari Requirements Engineering 8, 161-170, 2003 | 275 | 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 | 225 | 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 | 195 | 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 | 192 | 2001 |
| 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 | 163 | 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 | 134 | 1994 |
| Formal methods for service composition MH Ter Beek, A Bucchiarone, S Gnesi Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007 | 127 | 2007 |
| 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 |
| 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 | 125 | 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 | 123 | 2006 |
| Formal modeling for product families engineering A Fantechi, S Gnesi 2008 12th International Software Product Line Conference, 193-202, 2008 | 122 | 2008 |
| 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 | 122 | 1993 |
| Model checking UML statechart diagrams using JACK S Gnesi, D Latella, M Massink Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999 | 115 | 1999 |
| The integration Project for the JACK Environment A Bouali, S Gnesi, S Larosa Centrum voor Wiskunde en Informatica, 1994 | 115 | 1994 |
| Pure: A dataset of public requirements documents A Ferrari, GO Spagnolo, S Gnesi 2017 IEEE 25th International Requirements Engineering Conference (RE), 502-505, 2017 | 113 | 2017 |
| Pluto: A test methodology for product families A Bertolino, S Gnesi Software Product-Family Engineering: 5th International Workshop, PFE 2003 …, 2004 | 113 | 2004 |
| Use case-based testing of product lines A Bertolino, S Gnesi ACM SIGSOFT Software Engineering Notes 28 (5), 355-358, 2003 | 110 | 2003 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 103 | 2016 |
| A model-checking verification environment for mobile processes GL Ferrari, S Gnesi, U Montanari, M Pistore ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 440-473, 2003 | 100 | 2003 |
| 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 | 96 | 2018 |
