Timeout Prediction for Software Analyses. - Nicola Thoben; Jan Haltermann; Heike Wehrheim (SEFM, 2023)

Detecting Redundant Preconditions. - Nicola Thoben; Heike Wehrheim (FormaliSE, 2025)