List of works - Maurice H. ter Beek

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

scientific article published in February 2011

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

scientific article published in 2008

Assume-Guarantee Testing of Evolving Software Product Line Architectures

scientific article published in 2012

Automated specification and verification of Web-based applications

CMC-UMC

scientific article published in 2009

Combining declarative and procedural views in the specification and analysis of product families

article

Conditions for Compatibility of Components

scientific article published in 2016

Demonstration of a model checker for the analysis of product variability

scientific article published in 2012

Design and validation of variability in product lines

scientific article published in 2011

Formal Modelling and Verification of an Asynchronous Extension of SOAP

scientific article published in 2006

Formal verification of an automotive scenario in service-oriented computing

scientific article published in 2008

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

scientific article published in 2015

Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem

scientific article published in 2011

Model Checking Value-Passing Modal Specifications