Philip Kolvenbach

According to our database, Philip Kolvenbach authored at least 2 papers between 2019 and 2025.

Collaborative distances:

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

2025

Terminator: Enabling Efficient Fuzzing of Closed-Source GUI Programs by Automatic Coverage-Guided Termination.

Jonas Zabel, Philip Kolvenbach, Steven Arzt

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2019

A certified model reduction approach for robust parameter optimization with PDE constraints.

Alessandro Alla, Michael Hinze, Philip Kolvenbach, Oliver Lass, Stefan Ulbrich

Adv. Comput. Math., 2019