FERNANDEZ AMOROS, DAVID JOSE

Publications

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

A bibliometric analysis of 20 years of research on software product lines

  • Heradio, R.
  • Perez-Morago, H.
  • Fernandez-Amoros, D.
  • Javier Cabrerizo, F.
  • Herrera-Viedma, E.

Information and Software Technology (p. 1-15) - 1/4/2016

Editor: Elsevier

10.1016/j.infsof.2015.11.004 View at source

  • ISSN 09505849
  • ISSN/ISBN 0950-5849

Augmenting measure sensitivity to detect essential, dispensable and highly incompatible features in mass customization

  • Heradio, R.
  • Perez-Morago, H.
  • Alférez, M.
  • Fernandez-Amoros, D.
  • Alférez, G.H.

European Journal of Operational Research (p. 1066-1077) - 1/2/2016

Editor: Elsevier

10.1016/j.ejor.2015.08.005 View at source

  • ISSN 03772217
  • ISSN/ISBN 0377-2217

Efficient Identification of Core and Dead Features in Variability Models

  • Perez-Morago, H.
  • Heradio, R.
  • Fernandez-Amoros, D.
  • Bean, R.
  • Cerrada, C.

IEEE Access (p. 2333-2340) - 1/1/2015

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2015.2498764 View at source

  • ISSN 21693536
  • ISSN/ISBN 2169-3536

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

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

  • 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

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

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, MJ

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

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

Inconsistency-Tolerating Guidance for Software Engineering Processes

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

Proceedings - International Conference on Software Engineering (p. 6-10) - 1/05/2021

Editor: IEEE Computer Society

10.1109/icse-nier52604.2021.00010 View at source

  • ISSN/ISBN 9780738133249

Rough sets: A bibliometric analysis from 2014 to 2018

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Moral-Muñoz, J.A.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 1747-1756) - 2020

Editor: IEEE Computer Society

  • ISSN/ISBN 9780998133133

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

Supporting the Statistical Analysis of Variability Models by Processing Binary Decision Diagrams

  • Sergio Bra Gutiérrez
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Manuel Jesús Cobo (voc.)

2020

Reading institution: UNED. Universidad Nacional de Educación a Distancia

Codificación eficiente de modelos de configuración utilizando BDD'S

  • Roberto Béan Castelló
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Jesús Chacón Sombría (secr.)
  • Francisco Javier Cabrerizo (voc.)

2018

Reading institution: UNED. Universidad Nacional de Educación a Distancia

BDD algorithms to perform hard analysis operations on variability models

  • Héctor José Pérez Morago
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Enrique Valero Rodríguez (voc.)

2015

Reading institution: UNED. Universidad Nacional de Educación a Distancia

Anotación semántica no supervisada

  • David Jose Fernandez Amoros
  • Julio Gonzalo Arroyo (dir. tes.)
  • Lluís Padró Cirera (pres.)
  • Anselmo Peñas Padilla (secr.)
  • Manuel de Buenaga Rodríguez (voc.)
  • Raquel Martínez Unanue (voc.)
  • Eneko Agirre Bengoa (voc.)
... View more Collapse

(p. 1-212) - 2004

Reading institution: UNED. Universidad Nacional de Educación a Distancia

This researcher has no patents or software licenses.

Last data update: 11/10/25 10:04 AM