Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016
Efficient Identification of Core and Dead Features in Variability Models.
IEEE Access, 2015