6 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.LO2016
Towards a Feature mu-Calculus Targeting SPL Verification
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we propose two variants…
cs.LO2015★ 6 cited
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavior…
cs.SE2009
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing
Maurice H. ter Beek
Service-Oriented Computing (SOC) is an emerging new paradigm for distributed and object-oriented computing by allowing autonomous, platform-independent computational entities (call…