FERNANDEZ AMOROS, DAVID JOSE

Actividades

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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • ISSN 21693536
  • ISSN/ISBN 2169-3536

Este/a investigador/a no tiene libros.

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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

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

Defensa realizada en: 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

Defensa realizada en: 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

Defensa realizada en: 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.)
... Ver más Contraer

(p. 1-212) - 2004

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 10/11/25 10:04