| 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 | 84 | 2011 |
| 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 | 60 | 2007 |
| VMC: a tool for product variability analysis MH Ter Beek, F Mazzanti, A Sulova International Symposium on Formal Methods, 450-454, 2012 | 59 | 2012 |
| 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 | 56 | 2016 |
| On the fly model checking of communicating UML State Machines S Gnesi, F Mazzanti Second ACIS International Conference on Software Engineering Research …, 2004 | 52 | 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), 1-46, 2012 | 49 | 2012 |
| A model checking verification environment for UML statecharts S Gnesi, F Mazzanti Proceedings of XLIII Congresso Annuale AICA, 2005 | 45 | 2005 |
| AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... International Workshop on Algebraic Development Techniques, 1-33, 2002 | 44 | 2002 |
| On the industrial uptake of formal methods in the railway domain D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ... International Conference on Integrated Formal Methods, 20-29, 2018 | 32 | 2018 |
| An abstract, on the fly framework for the verification of service-oriented systems S Gnesi, F Mazzanti Rigorous software engineering for service-oriented systems, 390-407, 2011 | 32 | 2011 |
| Formal verification of an automotive scenario in service-oriented computing MH Ter Beek, S Gnesi, N Koch, F Mazzanti Proceedings of the 30th international conference on Software engineering …, 2008 | 31 | 2008 |
| A symbolic model checker for ACTL A Fantechi, S Gnesi, F Mazzanti, R Pugliese, E Tronci International Workshop on Current Trends in Applied Formal Methods, 228-242, 1998 | 31 | 1998 |
| Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ... International Symposium On Leveraging Applications of Formal Methods …, 2008 | 30 | 2008 |
| A model-checking approach for service component architectures J Abreu, F Mazzanti, JL Fiadeiro, S Gnesi Formal Techniques for Distributed Systems, 219-224, 2009 | 26 | 2009 |
| On the Fly Verification of Network of Automata. S Gnesi, F Mazzanti PDPTA 99, 1040-1046, 1999 | 26 | 1999 |
| Formalising engineering judgement on software dependability via belief networks L Strigini, KA Delic, F Mazzanti Dependable Computing for Critical Applications (DCCA-6), 291-305, 1998 | 26 | 1998 |
| Towards formal methods diversity in railways: an experience report with seven frameworks F Mazzanti, A Ferrari, GO Spagnolo International Journal on Software Tools for Technology Transfer 20 (3), 263-288, 2018 | 24 | 2018 |
| CMC-UMC: A framework for the verification of abstract service-oriented properties MH Ter Beek, F Mazzanti, S Gnesi Proceedings of the 2009 ACM symposium on Applied Computing, 2111-2117, 2009 | 24 | 2009 |
| Formalising a software safety case via belief networks KA Delic, F Mazzanti, L Strigini SHIP (Assessment of the Safety of Hazardous Industrial Processes in the …, 1997 | 24 | 1997 |
