RDF/XML JSON-LD N3/Turtle RDF/JSON

HERADIO GIL, RUBEN

Ingeniería del Software y Sistemas Informáticos / Universidad Nacional de Educación a Distancia

Publications

uvl2dimacs: Optimized translation from universal variability language into Boolean logic

  • Heradio,R.
  • Fernandez-Amoros,D.
  • Abad-Cardiel,I.
  • Aranda-Escolástico,E.

Science of Computer Programming - 1/01/2027

Editor: Elsevier B.V.

10.1016/j.scico.2026.103549 View at source

  • ISSN/ISBN 0167-6423

An Automated Multi-Signal Liquidity Structure Visualization System for Equity-Index and Forex Market-Structure Analysis

  • Fumanal-Andres,I.
  • Heradio,R.
  • Abad,I.

IEEE Access (p. 115506-115519) - 2026

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2026.3717814 View at source

  • ISSN/ISBN 2169-3536

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software

  • Heradio,R.
  • Cerrada,C.
  • Abad,I.
  • Aranda,E.
  • Escribano,J.J.
  • Fernandez-Amoros,D.

Data in Brief - 1/06/2026

Editor: Elsevier Inc.

10.1016/j.dib.2026.112747 View at source

  • ISSN/ISBN 2352-3409

Strong4VM: From variability models to strong transitive dependency and conflict graphs

  • Heradio,R.
  • Cambelo,L.
  • Olivero,M.A.
  • Sanchez,J.M.
  • Perez Garcia-Plaza,A.
  • Fernandez-Amoros,D.

SoftwareX - 1/06/2026

Editor: Elsevier B.V.

10.1016/j.softx.2026.102663 View at source

  • ISSN/ISBN 2352-7110

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

  • Vargas,H.
  • Arredondo,E.
  • Heradio,R.
  • Torre,L.D.L.

Frontiers in Education - 2025

Editor: Frontiers Media SA

10.3389/feduc.2025.1579124 View at source

  • ISSN/ISBN 2504-284X

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

  • Fernandez-Amoros,D.
  • Heradio,R.
  • Horcas,J.-M.
  • Galindo,J.A.
  • Benavides,D.
  • Fuentes,L.

Journal of Systems and Software - 1/12/2025

Editor: Elsevier Inc.

10.1016/j.jss.2025.112577 View at source

  • ISSN/ISBN 0164-1212

Scalable hybrid laboratories: Application in industrial automation

  • Vilches,M.
  • Vargas,H.
  • de la Torre,L.
  • Heradio,R.

Results in Engineering - 1/06/2025

Editor: Elsevier B.V.

10.1016/j.rineng.2025.105342 View at source

  • ISSN/ISBN 2590-1230

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

  • Vargas, H.
  • Heradio, R.
  • Farias, G.
  • Lei, Z.
  • De La Torre, L.

IEEE Transactions on Education (p. 224-233) - 1/04/2024

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/te.2023.3347273 View at source

  • ISSN/ISBN 1557-9638

Finding Near-Optimal Configurations in Colossal Spaces with Statistical Guarantees

  • Oh, Jeho
  • Batory, Don
  • Heradio, Rubén

ACM Transactions on Software Engineering and Methodology - 2023

10.1145/3611663 View at source

  • ISSN/ISBN 1049-331X

A Monte Carlo tree search conceptual framework for feature model analyses

  • Horcas, J.-M.
  • Galindo, J.A.
  • Heradio, R.
  • Fernandez-Amoros, D.
  • Benavides, D.

Journal of Systems and Software - 1/01/2023

Editor: Elsevier Inc.

10.1016/j.jss.2022.111551 View at source

  • ISSN/ISBN 0164-1212

This researcher has no books.

Product Optimization in Stepwise Design

  • Batory, D.
  • Oh, J.
  • Heradio, R.
  • Benavides, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 63-81) - 2021

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-030-76020-5_4 View at source

  • ISSN/ISBN 1611-3349

Web experimentation on virtual and remote laboratories

  • Galan, D.
  • Heradio, R.
  • de la Torre, L.
  • Dormido, S.
  • Esquembre, F.

Lecture Notes in Networks and Systems (p. 205-219) - 1/1/2018

Editor: Springer

10.1007/978-3-319-64352-6_20 View at source

  • ISSN 23673370
  • ISSN/ISBN 2367-3389

UNED Labs: A Network of Virtual and Remote Laboratories

  • Dormido Bencomo, Sebastián
  • Sánchez Moreno, José
  • Vargas C., Héctor
  • Torre Cubillo, Luis de la
  • Heradio Gil, Rubén

Using remote labs in education: two little ducks in remote experimentation (p. 253-270) - 2011

Editor: Servicio de Publicaciones = Argitalpen Zerbitzua

  • ISSN/ISBN 978-84-9830-335-3

Inferring information from feature diagrams to product line economic models

  • Fernandez Amoros, David Jose
  • Heradio Gil, Rubén
  • Cerrada Somolinos, José Antonio

SPLC '09 Proceedings of the 13th International Software Product Line Conference (p. 41-50) - 2009

Editor: Carnegie Mellon University Pittsburgh, 2009

Deriving Dependency and Conflict Graphs from Configurable Software via Association Rules

  • Heradio,R.
  • Fernandez-Amoros,D.
  • Olivero,M.A.
  • Sanchez,J.M.
  • Cobo,M.J.

Lecture Notes in Computer Science (p. 207-222) - 2027

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-032-30228-1_14 View at source

  • ISSN/ISBN 1611-3349

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

  • Fernandez-Amoros, D.
  • Galindo, J.A.
  • Heradio, R.
  • Benavides, D.
  • Horcas, J.-M.
  • Fuentes, L.

ACM International Conference Proceeding Series (p. 24-35) - 2/09/2024

Editor: Association for Computing Machinery

10.1145/3646548.3672586 View at source

  • ISSN/ISBN 9798400705939

Circuit Testing Based on Fuzzy Sampling with BDD Bases

  • Sediles, E.P.
  • Fernandez-Amoros, D.
  • Heradio, R.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 1551-1560) - 2023

Editor: IEEE Computer Society

  • ISSN/ISBN 9780998133164

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

  • David Fernandez-Amoros
  • Ruben Heradio
  • Christoph Mayr-Dorn
  • Alexander Egyed

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

Editor: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES)

Circuit Testing Based on Fuzzy Sampling with BDD Bases

  • Pinilla, Elena
  • Fernandez-Amoros, David
  • Heradio, Ruben

Proceedings of the 56th Hawaii International Conference on System Sciences (p. 1551-1560) - 2023

Editor: University of Hawaiʻi at Mānoa

  • ISSN/ISBN 978-0-9981331-6-4

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

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Ruiz, V.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 2087-2096) - 1/1/2022

Editor: IEEE Computer Society

10.24251/hicss.2022.263 View at source

  • ISSN 15301605
  • ISSN/ISBN 1530-1605

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

  • Fernandez-Amoros, D.
  • Heradio, R.
  • Mayr-Dorn, C.
  • Egyed, A.

ACM International Conference Proceeding Series - 19/09/2022

Editor: Association for Computing Machinery

10.1145/3551349.3556899 View at source

  • ISSN/ISBN 9781450396240

Machine learning for software engineering: A bibliometric analysis from 2015 to 2019

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Cerrada, C.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 1928-1937) - 2021

Editor: IEEE Computer Society

  • ISSN/ISBN 9780998133140

Uniform and Scalable SAT-Sampling for Configurable Systems

  • Rubén Heradio
  • David Fernandez-Amoros
  • José A. Galindo
  • David Felipe Benavides Cuevas

Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] - 2021

Editor: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES)

Monte Carlo tree search for feature model analyses: A general framework for decision-making

  • Horcas, J.-M.
  • Galindo, J.A.
  • Heradio, R.
  • Fernandez-Amoros, D.
  • Benavides, D.

ACM International Conference Proceeding Series (p. 190-201) - 6/09/2021

Editor: Association for Computing Machinery

10.1145/3461001.3471146 View at source

  • ISSN/ISBN 9781450384698

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 10/29/26 11:42 AM