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
1932007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1232007
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
1142011
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
1062003
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
902011
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
77*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
712010
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
622006
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
61*2016
VMC: a tool for product variability analysis
MH Ter Beek, F Mazzanti, A Sulova
International Symposium on Formal Methods, 450-454, 2012
602012
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
412015
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
39*2013
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
37*2008
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
342014
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
342011
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
332018
A Deontic Logical Framework for Modelling Product Families.
P Asirelli, MH ter Beek, S Gnesi, A Fantechi
VaMoS 10, 37-44, 2010
312010
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
International Conference on Fundamental Approaches to Software Engineering …, 2017
302017
Deontic logics for modeling behavioural variability
P Asirelli, MH Ter Beek, S Gnesi, A Fantechi
In Proceedings of the 3rd International Workshop on Variability Modelling of …, 2009
292009
Team automata satisfying compositionality
MH Ter Beek, J Kleijn
International Symposium of Formal Methods Europe, 381-400, 2003
292003
The system can't perform the operation now. Try again later.
Articles 1–20