Ruben Heradio's Projects
Group Decision-Making Based on Artificial Intelligence: a Bibliometric Analysis
BDDs for Variability Analysis
A framework to assess and monitor competency-based courses
A Pragmatic Framework for Assessing Competency-based Courses
Implementing Classic Algorithms in Rust
Using Extended Logical Primitives for Efficient BDD Building
A Rule Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples
Automated assessment of computer programming practices: the 8-years UNED experience
A Kconfig-to-Propositional Logic Translation
Evidence-based control engineering education: evaluating the LCSD simulation tool
Open-Source Hardware in Education: a Systematic Mapping Study
rank-based-spl-optimization
Scalable and Uniform SAT-Sampling for Configurable Systems
A Bibliometric Analysis of 20 Years of Research on Software Product Lines
Debugging Faults in Software Product Lines with Rule Induction Algorithms
Looking Over the Research Literature on Software Engineering from 2016 to 2018
Experiments with SAT in Flama
Supporting the Statistical Analysis of Variability Models