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 | 183 | 2007 |
Formal methods for service composition MH Ter Beek, A Bucchiarone, S Gnesi Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007 | 121 | 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 | 114 | 2011 |
Synchronizations in team automata for groupware systems MH Ter Beek, CA Ellis, J Kleijn, G Rozenberg Computer Supported Cooperative Work (CSCW) 12 (1), 21-69, 2003 | 106 | 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 | 87* | 2011 |
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 | 80* | 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 | 72 | 2010 |
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 | 62* | 2016 |
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 | 61 | 2006 |
VMC: a tool for product variability analysis MH Ter Beek, F Mazzanti, A Sulova International Symposium on Formal Methods, 450-454, 2012 | 59 | 2012 |
Combining declarative and procedural views in the specification and analysis of product families MH Ter Beek, AL Lafuente, M Petrocchi Proceedings of the 17th International Software Product Line Conference co …, 2013 | 40* | 2013 |
Statistical analysis of probabilistic models of software product lines with quantitative constraints MH ter Beek, A Legay, AL Lafuente, A Vandin Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015 | 39 | 2015 |
Using mCRL2 for the analysis of software product lines MH ter Beek, EP De Vink Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014 | 37 | 2014 |
A model-checking tool for families of services P Asirelli, MH Ter Beek, A Fantechi, S Gnesi Formal Techniques for Distributed Systems, 44-58, 2011 | 34 | 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 | 34* | 2008 |
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 |
Family-based model checking with mCRL2 MH ter Beek, EP de Vink, TAC Willemse International Conference on Fundamental Approaches to Software Engineering …, 2017 | 31 | 2017 |
A Deontic Logical Framework for Modelling Product Families. P Asirelli, MH ter Beek, S Gnesi, A Fantechi VaMoS 10, 37-44, 2010 | 30 | 2010 |
Team automata: a formal approach to the modeling of collaboration between system components MH ter Beek | 29 | 2003 |
Team automata satisfying compositionality MH Ter Beek, J Kleijn International Symposium of Formal Methods Europe, 381-400, 2003 | 29 | 2003 |