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 | 93 | 2011 |
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 | 67 | 2016 |
VMC: a tool for product variability analysis MH ter Beek, F Mazzanti, A Sulova FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 64 | 2012 |
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 Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008 | 63 | 2008 |
A model checking approach for verifying COWS specifications A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi Fundamental Approaches to Software Engineering: 11th International …, 2008 | 60 | 2008 |
On the fly model checking of communicating UML State Machines S Gnesi, F Mazzanti Second ACIS International Conference on Software Engineering Research …, 2004 | 54 | 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 | 50 | 2012 |
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ... Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 47 | 2018 |
A model checking verification environment for UML statecharts S Gnesi, F Mazzanti Proceedings of XLIII Congresso Annuale AICA, 2005 | 46 | 2005 |
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... Recent Trends in Algebraic Development Techniques: 16th International …, 2003 | 43 | 2003 |
An abstract, on the fly framework for the verification of service-oriented systems S Gnesi, F Mazzanti Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011 | 35 | 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 | 35 | 2008 |
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, 263-288, 2018 | 34 | 2018 |
Ten diverse formal models for a CBTC automatic train supervision system F Mazzanti, A Ferrari arXiv preprint arXiv:1803.10324, 2018 | 34 | 2018 |
A symbolic model checker for ACTL A Fantechi, S Gnesi, F Mazzanti, R Pugliese, E Tronci FM-Trends 98, 228-242, 1998 | 32 | 1998 |
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 | 29 | 1998 |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. M Wirsing, MM Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ... ISoLA 17, 170-190, 2008 | 28 | 2008 |
A model-checking approach for service component architectures J Abreu, F Mazzanti, JL Fiadeiro, S Gnesi Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 …, 2009 | 27 | 2009 |
Deadlock avoidance in train scheduling: a model checking approach F Mazzanti, GO Spagnolo, S Della Longa, A Ferrari Formal Methods for Industrial Critical Systems: 19th International …, 2014 | 26 | 2014 |
On the Fly Verification of Network of Automata. S Gnesi, F Mazzanti PDPTA 99, 1040-1046, 1999 | 26 | 1999 |