2 papers
cs.SE2017
A framework for quantitative modeling and analysis of highly (re)configurable systems
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optiona…
cs.LO2015
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2…