Publications (102) RUBEN HERADIO GIL publications View referenced research data.

filter_list

2025

  1. Pragmatic random sampling of Kconfig-based systems: A unified approach

    Journal of Systems and Software, Vol. 230

  2. Scalable hybrid laboratories: Application in industrial automation

    Results in Engineering, Vol. 26

  3. Standardizing course assessment in competency-based higher education: an experience report

    Frontiers in Education, Vol. 10

2024

  1. A Pragmatic Framework for Assessing Learning Outcomes in Competency-Based Courses

    IEEE Transactions on Education, Vol. 67, Núm. 2, pp. 224-233

  2. Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool

    ACM International Conference Proceeding Series

2023

  1. A Monte Carlo tree search conceptual framework for feature model analyses

    Journal of Systems and Software, Vol. 195

  2. Circuit Testing Based on Fuzzy Sampling with BDD Bases

    Proceedings of the 56th Hawaii International Conference on System Sciences

  3. Finding Near-Optimal Configurations in Colossal Spaces with Statistical Guarantees

    ACM Transactions on Software Engineering and Methodology

  4. Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

    Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023)

  5. Teaching automation with Factory I/O under a competency-based curriculum

    Multimedia Tools and Applications, Vol. 82, Núm. 13, pp. 19221-19246

  6. Using IoT-Type Metadata and Smart Web Design to Create User Interfaces Automatically

    IEEE Transactions on Industrial Informatics, Vol. 19, Núm. 3, pp. 3109-3118

2022

  1. A Rule-Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples

    Proceedings of the Annual Hawaii International Conference on System Sciences

  2. A bibliometric analysis of 10 years of research on symptom networks in psychopathology and mental health

    Psychiatry Research, Vol. 308

  3. A bibliometric analysis of off-line handwritten document analysis literature (1990–2020)

    Pattern Recognition, Vol. 125

  4. Automated Support for Battle Decision Making: A Systematic Literature Review

    Military Operations Research (United States), Vol. 27, Núm. 4, pp. 5-23

  5. Correction to: Uniform and scalable sampling of highly configurable systems (Empirical Software Engineering, (2022), 27, 2, (44), 10.1007/s10664-021-10102-5)

    Empirical Software Engineering

  6. Methods for identifying biomedical translation: a systematic review

    American Journal of Translational Research, Vol. 14, Núm. 4, pp. 2697

  7. Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

    Automated Software Engineering - ACM International Conference Proceeding Series

  8. Uniform and scalable sampling of highly configurable systems

    Empirical Software Engineering, Vol. 27, Núm. 2

2021

  1. Automated support for battle operational–strategic decision-making

    Mathematics, Vol. 9, Núm. 13