Publications in collaboration with researchers from Johannes Kepler University of Linz (6)

2022

  1. Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

    Automated Software Engineering - ACM International Conference Proceeding Series

2021

  1. Inconsistency-Tolerating Guidance for Software Engineering Processes

    Proceedings - International Conference on Software Engineering

2019

  1. A kconfig translation to logic with one-way validation system

    ACM International Conference Proceeding Series

  2. A kconfig translation to logic with one-way validation system

    Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

  3. A kconfig translation to logic with one-way validation system

    PervasiveHealth: Pervasive Computing Technologies for Healthcare

  4. Supporting the Statistical Analysis of Variability Models

    Proceedings - International Conference on Software Engineering