A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export. - Jude Gyimah; Jan Sollmann; Ole Schuerks; Patrick Franz; Thorsten Berger (VaMoS, 2025)

FM-PRO: A Feature Modeling Process. - Johan Martinson; Wardah Mahmood; Jude Gyimah; Thorsten Berger (IEEE Trans. Software Eng., 2025)