Efficient Identification of Core and Dead Features in Variability Models. - Hector Perez-Morago; Ruben Heradio; David Fernández-Amorós; Roberto Bean; Carlos Cerrada (IEEE Access, 2015)

Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. - Ruben Heradio; Hector Perez-Morago; David Fernández-Amorós; Roberto Bean; Francisco Javier Cabrerizo; Carlos Cerrada; Enrique Herrera-Viedma (SoMeT, 2016)