Patrick Franz

According to our database, Patrick Franz authored at least 2 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export.

Jude Gyimah, Jan Sollmann, Ole Schuerks, Patrick Franz, Thorsten Berger

Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, 2025

2021

ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel.

Patrick Franz, Thorsten Berger, Ibrahim Fayaz, Sarah Nadi, Evgeny Groshev

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021