Publications

The current version of the tool is presented in the following publications:

• A framework for quantitative modeling and analysis of highly (re)configurable systems, Andrea Vandin, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, IEEE Transactions on Software Engineering (TSE), 2018
• QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems, Andrea Vandin, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, 22nd International Symposium on Formal Methods (FM'18), Springer LNCS
• And its accompanying demo

Previous versions of the tool have been presented/used in the following papers (see here for more details):

• Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints, Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin, SPLC'15
• Statistical Model Checking for Product Lines, Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin, ISOLA'16
• Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking, Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin, FMSPLE'15.