2016
Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

2015
Efficient Identification of Core and Dead Features in Variability Models.
IEEE Access, 2015