| 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 | 105 | 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 | 80 | 2016 |
| 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 | 69 | 2007 |
| 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 | 66 | 2008 |
| 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, ... 14th International Conference on Integrated Formal Methods (IFM) LNCS 11023 …, 2018 | 65 | 2018 |
| VMC: a tool for product variability analysis MH ter Beek, F Mazzanti, A Sulova International Symposium on Formal Methods, 450-454, 2012 | 65 | 2012 |
| On the fly model checking of communicating UML State Machines S Gnesi, F Mazzanti Second ACIS International Conference on Software Engineering Research …, 2004 | 57 | 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 | 51 | 2012 |
| A model checking verification environment for UML statecharts S Gnesi, F Mazzanti Proceedings of XLIII Congresso Annuale AICA, 2005 | 49 | 2005 |
| Adopting formal methods in an industrial setting: the railways case MH ter Beek, A Borälv, A Fantechi, A Ferrari, S Gnesi, C Löfving, ... Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 47 | 2019 |
| 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 | 47 | 2003 |
| Systematic evaluation and usability analysis of formal methods tools for railway signaling system design A Ferrari, F Mazzanti, D Basile, MH ter Beek IEEE Transactions on Software Engineering 48 (11), 4675-4691, 2021 | 43 | 2021 |
| 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 | 43 | 2008 |
| Comparing formal tools for system design: a judgment study A Ferrari, F Mazzanti, D Basile, MH Beek, A Fantechi Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 42 | 2020 |
| Survey on formal methods and tools in railways: the ASTRail approach A Ferrari, MH ter Beek, F Mazzanti, D Basile, A Fantechi, S Gnesi, ... International Conference on Reliability, Safety, and Security of Railway …, 2019 | 42 | 2019 |
| 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 | 41 | 2018 |
| Ten diverse formal models for a CBTC automatic train supervision system F Mazzanti, A Ferrari arXiv preprint arXiv:1803.10324, 2018 | 38 | 2018 |
| 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, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 36 | 2008 |
| 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 |
| A symbolic model checker for ACTL A Fantechi, S Gnesi, F Mazzanti, R Pugliese, E Tronci Applied Formal Methods—FM-Trends 98: International Workshop on Current …, 1999 | 31 | 1999 |
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
