Nicola Thoben

According to our database, Nicola Thoben authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Detecting Redundant Preconditions.

Nicola Thoben, Heike Wehrheim

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2023

Timeout Prediction for Software Analyses.

Nicola Thoben, Jan Haltermann, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023