Follow
Maurice H. ter Beek
Title
Cited by
Cited by
Year
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
2012007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1322007
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
1292011
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
1212003
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
1062011
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
842020
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
832016
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
83*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
772010
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
702006
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
66*2018
VMC: a tool for product variability analysis
MH ter Beek, F Mazzanti, A Sulova
International Symposium on Formal Methods, 450-454, 2012
652012
Formal methods in railways: a systematic mapping study
A Ferrari, MHT Beek
ACM Computing Surveys 55 (4), 1-37, 2022
642022
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
542018
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
492015
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
472019
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
472019
Combining declarative and procedural views in the specification and analysis of product families
MH Ter Beek, A Lluch Lafuente, M Petrocchi
Proceedings of the 17th International Software Product Line Conference co …, 2013
452013
Formal methods and automated verification of critical systems
MH ter Beek, S Gnesi, A Knapp
International Journal on Software Tools for Technology Transfer (STTT) 20 (4 …, 2018
44*2018
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
International Conference on Fundamental Approaches to Software Engineering …, 2017
442017
The system can't perform the operation now. Try again later.
Articles 1–20