FMSPLE

Keyphrases

Publications

2016

2015

Uwe Lesta, Ina Schaefer, Tim Winkelmann
Detecting and Explaining Conflicts in Attributed Feature Models. FMSPLE (2015)
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. FMSPLE (2015)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE (2015)
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Coherent branching feature bisimulation. FMSPLE (2015)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. FMSPLE (2015)
Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. FMSPLE (2015)