Product Lines for Service Oriented Applications - PL for SOA

by Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima
Published 2011-08-01

Coherent branching feature bisimulation

by Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Published 2015-04-01

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

by Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
Published 2015-04-01

Towards a Feature mu-Calculus Targeting SPL Verification

by Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Published 2016-03-01