| Web service composition approaches: From industrial standards to formal methods MH Ter Beek, A Bucchiarone, S Gnesi Second International Conference on Internet and Web Applications and …, 2007 | 203 | 2007 |
| Formal methods for service composition MH Ter Beek, A Bucchiarone, S Gnesi Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007 | 132 | 2007 |
| 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 | 128 | 2011 |
| Synchronizations in team automata for groupware systems MH Ter Beek, CA Ellis, J Kleijn, G Rozenberg Computer Supported Cooperative Work (CSCW) 12, 21-69, 2003 | 119 | 2003 |
| 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 | 89 | 2016 |
| The 2020 expert survey on formal methods H Garavel, MH ter Beek, J van de Pol International Conference on Formal Methods for Industrial Critical Systems, 3-69, 2020 | 84 | 2020 |
| 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 | 82* | 2007 |
| 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 | 76 | 2010 |
| A survey on service composition approaches: From industrial standards to formal methods MH ter Beek, A Bucchiarone, S Gnesi Technical Report 2006-TR-15, 2006 | 72 | 2006 |
| Formal methods in railways: a systematic mapping study A Ferrari, MHT Beek ACM Computing Surveys 55 (4), 1-37, 2022 | 71 | 2022 |
| 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 | 71* | 2018 |
| VMC: a tool for product variability analysis MH ter Beek, F Mazzanti, A Sulova International Symposium on Formal Methods, 450-454, 2012 | 70 | 2012 |
| A framework for quantitative modeling and analysis of highly (re) configurable systems MH Ter Beek, A Legay, A Lluch Lafuente, A Vandin IEEE Transactions on Software Engineering, 2018 | 59 | 2018 |
| Statistical analysis of probabilistic models of software product lines with quantitative constraints MH ter Beek, A Legay, A Lluch Lafuente, A Vandin Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015 | 52 | 2015 |
| Family-based model checking with mCRL2 MH ter Beek, EP de Vink, TAC Willemse International Conference on Fundamental Approaches to Software Engineering …, 2017 | 50 | 2017 |
| 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 | 49 | 2021 |
| 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, ... International Symposium on Formal Methods, 762-772, 2019 | 49 | 2019 |
| Textual variability modeling languages: an overview and considerations MH ter Beek, K Schmid, H Eichelberger Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 48 | 2019 |
| 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 | 46 | 2019 |
