| Applications of linguistic techniques for use case analysis A Fantechi, S Gnesi, G Lami, A Maccari Requirements Engineering 8 (3), 161-170, 2003 | 230 | 2003 |
| 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 | 157 | 1993 |
| GUARDS: A generic upgradable architecture for real-time dependable systems D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ... IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999 | 151 | 1999 |
| Formal modeling for product families engineering A Fantechi, S Gnesi 2008 12th International Software Product Line Conference, 193-202, 2008 | 109 | 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 | 108 | 2011 |
| 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 | 104 | 1994 |
| Natural language processing of patents and technical documentation G Cascini, A Fantechi, E Spinicci International Workshop on Document Analysis Systems, 508-520, 2004 | 95 | 2004 |
| A formal verification environment for railway signaling system design C Bernardeschi, A Fantechi, S Gnesi, S Larosa, G Mongardi, D Romano Formal Methods in System Design 12 (2), 139-161, 1998 | 78 | 1998 |
| Use case description of requirements for product lines A Bertolino, A Fantechi, S Gnesi, G Lami, A Maccari Proceedings of the international workshop on requirements engineering for …, 2002 | 77 | 2002 |
| Model checking interlocking control tables A Ferrari, G Magnani, D Grasso, A Fantechi FORMS/FORMAT 2010, 107-115, 2011 | 75 | 2011 |
| 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 | 73 | 2011 |
| A logical framework to deal with variability P Asirelli, MH Ter Beek, A Fantechi, S Gnesi International Conference on Integrated Formal Methods, 43-58, 2010 | 71 | 2010 |
| Testing equivalences for event structures L Aceto, R De Nicola, A Fantechi Mathematical models for the semantics of parallelism, 1-20, 1987 | 67 | 1987 |
| A model checking approach for verifying COWS specifications A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi International Conference on Fundamental Approaches to Software Engineering …, 2008 | 61 | 2008 |
| Model checking fault tolerant systems C Bernardeschi, A Fantechi, S Gnesi Software Testing, Verification and Reliability 12 (4), 251-275, 2002 | 59 | 2002 |
| An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti International Workshop on Formal Methods for Industrial Critical Systems …, 2007 | 57 | 2007 |
| Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints MH ter Beek, A Fantechi, S Gnesi, F Mazzanti Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016 | 52 | 2016 |
| A methodology for the derivation and verification of use cases for product lines A Fantechi, S Gnesi, G Lami, E Nesti International Conference on Software Product Lines, 255-265, 2004 | 49 | 2004 |
| A logical verification methodology for service-oriented computing A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 16, 2012 | 46 | 2012 |
| A behavioural model for product families A Fantechi, S Gnesi Proceedings of the the 6th joint meeting of the European software …, 2007 | 46 | 2007 |
