E-LIB Suche - Ergebnisse für: Fernandez-Amoros, David

1

Pragmatic Random Sampling of the Linux Kernel: Enhancing th..:

, In: Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B,

Fernandez-Amoros, David ; Heradio, Ruben ; Horcas Aguilera, Jose Miguel... - p. 24-35 , 2024

Link: https://dl.acm.org/doi/1..

2

FLAMA : A collaborative effort to build a new framework ..:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B,

Galindo, José A. ; Horcas, Jose-Miguel ; Felferning, Alexander.. - p. 16-19 , 2023

Link: https://dl.acm.org/doi/1..

3

A Monte Carlo tree search conceptual framework for feature ..:

Horcas, Jose-Miguel ; Galindo, José A. ; Heradio, Ruben..
Journal of Systems and Software. 195 (2023) - p. 111551 , 2023

Link: https://doi.org/10.1016/..

4

Scalable Sampling of Highly-Configurable Systems: Generatin..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Fernandez-Amoros, David ; Heradio, Ruben ; Mayr-Dorn, Christoph. - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

5

Uniform and scalable sampling of highly configurable system:

Heradio, Ruben ; Fernandez-Amoros, David ; Galindo, José A...
Empirical Software Engineering. 27 (2022) 2 - p. , 2022

Link: https://doi.org/10.1007/..

6

Correction to: Uniform and scalable sampling of highly conf..:

Heradio, Ruben ; Fernandez-Amoros, David ; Galindo, José A...
Empirical Software Engineering. 27 (2022) 2 - p. , 2022

Link: https://doi.org/10.1007/..

7

Inconsistency-tolerating guidance for software engineering ..:

, In: Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results,

Mayr-Dorn, Christoph ; Kretschmer, Roland ; Egyed, Alexander.. - p. 6-10 , 2021

Link: https://dl.acm.org/doi/1..

8

Monte Carlo tree search for feature model analyses : a g..:

, In: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A,

Horcas, Jose-Miguel ; Galindo, José A. ; Heradio, Ruben.. - p. 190-201 , 2021

Link: https://dl.acm.org/doi/1..

9

Inconsistency-Tolerating Guidance for Software Engineering ..:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER),

Mayr-Dorn, Christoph ; Kretschmer, Roland ; Egyed, Alexander.. - p. 6-10 , 2021

Link: https://doi.org/10.1109/..

10

Using Extended Logical Primitives for Efficient BDD Buildin:

Fernandez-Amoros, David ; Bra, Sergio ; Aranda-Escolástico, Ernesto.
Mathematics. 8 (2020) 8 - p. 1253 , 2020

Link: https://doi.org/10.3390/..

11

Group Decision-Making Based on Artificial Intelligence: A B..:

Heradio, Ruben ; Fernandez-Amoros, David ; Cerrada, Cristina.
Mathematics. 8 (2020) 9 - p. 1566 , 2020

Link: https://doi.org/10.3390/..

12

Uniform and scalable SAT-sampling for configurable systems:

, In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A,

Heradio, Ruben ; Fernandez-Amoros, David ; Galindo, José A.. - p. 1-11 , 2020

Link: https://dl.acm.org/doi/1..

13

Supporting the statistical analysis of variability models:

, In: Proceedings of the 41st International Conference on Software Engineering,

Heradio, Ruben ; Fernandez-Amoros, David ; Mayr-Dorn, Christoph. - p. 843-853 , 2019

Link: https://dl.acm.org/doi/1..

14

A Kconfig Translation to Logic with One-Way Validation Syst..:

, In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A,

Fernandez-Amoros, David ; Heradio, Ruben ; Mayr-Dorn, Christoph. - p. 303-308 , 2019

Link: https://dl.acm.org/doi/1..

15

Looking Over the Research Literature on Software Engineerin..:

Heradio, Ruben ; Fernandez-Amoros, David ; Galan, Daniel..
Procedia Computer Science. 162 (2019) - p. 712-719 , 2019

Link: https://doi.org/10.1016/..