8 citations · 8 across the 3 of their papers we have counts for
3 papers
Reasoning About Variability Models Through Network Analysis
Jose Manuel Sanchez, Miguel Angel Olivero, Ruben Heradio +2
Feature models are widely used to capture the configuration space of software systems. Although automated reasoning has been studied for detecting problematic features and supporti…
A Comparative Analysis of Backbone Algorithms for Configurable Software Systems
Luis Cambelo, Ruben Heradio, Jose-Miguel Horcas +2
The backbone of a Boolean formula is the set of literals that must be true in every assignment that satisfies the formula. This concept is fundamental to key operations on variabil…
Inferring Information from Feature Diagrams to Product Line Economic Models
David Fernandez-Amoros, Ruben Heradio, Jose Antonio Cerrada
Existing economic models support the estimation of the costs and benefits of developing and evolving a Software Product Line (SPL) as compared to undertaking traditional software d…