RUBEN
HERADIO GIL
Catedrático de Universidad
Johannes Kepler University of Linz
Linz, AustriaPublicaciones en colaboración con investigadores/as de Johannes Kepler University of Linz (6)
2022
-
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
Automated Software Engineering - ACM International Conference Proceeding Series
2021
-
Inconsistency-Tolerating Guidance for Software Engineering Processes
Proceedings - International Conference on Software Engineering
2019
-
A kconfig translation to logic with one-way validation system
PervasiveHealth: Pervasive Computing Technologies for Healthcare
-
A kconfig translation to logic with one-way validation system
ACM International Conference Proceeding Series
-
A kconfig translation to logic with one-way validation system
Systems and Software Product Lines Conference - ACM International Conference Proceeding Series
-
Supporting the Statistical Analysis of Variability Models
Proceedings - International Conference on Software Engineering