| Applications of linguistic techniques for use case analysis A Fantechi, S Gnesi, G Lami, A Maccari Requirements Engineering 8 (3), 161-170, 2003 | 240 | 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 | 158 | 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 | 155 | 1999 |
| Formal modeling for product families engineering A Fantechi, S Gnesi 2008 12th International Software Product Line Conference, 193-202, 2008 | 114 | 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 | 112 | 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 | 108 | 1994 |
| Natural language processing of patents and technical documentation G Cascini, A Fantechi, E Spinicci International Workshop on Document Analysis Systems, 508-520, 2004 | 101 | 2004 |
| 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 | 80 | 2002 |
| 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 | 80 | 1998 |
| Model checking interlocking control tables A Ferrari, G Magnani, D Grasso, A Fantechi FORMS/FORMAT 2010, 107-115, 2011 | 77 | 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 | 76 | 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 | 72 | 2010 |
| Testing equivalences for event structures L Aceto, R De Nicola, A Fantechi Mathematical models for the semantics of parallelism, 1-20, 1987 | 68 | 1987 |
| Model checking fault tolerant systems C Bernardeschi, A Fantechi, S Gnesi Software Testing, Verification and Reliability 12 (4), 251-275, 2002 | 63 | 2002 |
| 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 |
| 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 | 59 | 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 | 53 | 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 |
| Some trends in formal methods applications to railway signaling A Fantechi, W Fokkink, A Morzenti Formal Methods for Industrial Critical Systems, 61-84, 2013 | 48 | 2013 |
| A behavioural model for product families A Fantechi, S Gnesi The 6th Joint Meeting on European software engineering conference and the …, 2007 | 48 | 2007 |
