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

FERNANDEZ AMOROS, DAVID JOSE

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

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

Passivity-Based Distributed Event-Triggered Flocking Control of Port-Hamiltonian Systems

  • Aranda-Escolástico,E.
  • Abdelrahim,M.
  • Fernández-Amorós,D.
  • Guinaldo,M.
  • Colombo,L.

IEEE Control Systems Letters (p. 342-347) - 2025

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/lcsys.2025.3571859 View at source

  • ISSN/ISBN 2475-1456

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

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

Uniform and scalable sampling of highly configurable systems

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

Empirical Software Engineering - 1/03/2022

Editor: Springer

10.1007/s10664-021-10102-5 View at source

  • ISSN/ISBN 1573-7616

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

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

Empirical Software Engineering - 1/03/2022

Editor: Springer

10.1007/s10664-022-10141-6 View at source

  • ISSN/ISBN 1573-7616

Group decision-making based on artificial intelligence: A bibliometric analysis

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

Mathematics - 1/09/2020

Editor: MDPI AG

10.3390/math8091566 View at source

  • ISSN/ISBN 2227-7390

Using extended logical primitives for efficient BDD building

  • Fernandez-Amoros, D.
  • Bra, S.
  • Aranda-Escolástico, E.
  • Heradio, R.

Mathematics - 1/08/2020

Editor: MDPI AG

10.3390/math8081253 View at source

  • ISSN/ISBN 2227-7390

This researcher has no books.

TOR y la libertad de expresión en la red

  • David F. Fernández Amorós

La inteligencia artificial y el control algorítmico de los derechos fundamentales (p. 173-187) - 2024

Editor: Aranzadi

  • ISSN/ISBN 978-84-1162-477-0

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

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models

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

ACM International Conference Proceeding Series (p. 16-19) - 28/08/2023

Editor: Association for Computing Machinery

10.1145/3579028.3609008 View at source

  • ISSN/ISBN 9798400700927

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)

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