Maurice H. ter Beek

Web Service Composition Approaches: From Industrial Standards to Formal Methods

Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi · 2007 · 150 citations

Web Service Specification, Engineering, Business Intelligence +18

Formal Description of Variability in Product Families

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi et al. · 2011 · 92 citations

Engineering, Modal Logic, Formal Verification +19

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi et al. · Science of Computer Programming · 2010 · 83 citations

Engineering, Formal Modeling, Program Analysis +14

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi et al. · Journal of Logical and Algebraic Methods in Programming · 2015 · 83 citations · Full text

Systems Analysis, Variability Constraints, Engineering +13

Synchronizations in Team Automata for Groupware Systems

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn et al. · Computer Supported Cooperative Work (CSCW) · 2003 · 72 citations

Engineering, Synchronization Protocol, Formal Methods +6