Nicola Thoben

Kontakt

Nicola Thoben

Ulhornsweg 84 - Raum A02 3-339

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A3 2-208

+49 441 798-2426

Nicola Thoben

Research interests:

CAUSE Graduate School

Software Verification
Contract Languages
Fault Localization

Publications

  • [inproceedings] bibtex | Go to document
    N. Thoben and H. Wehrheim, "Detecting Redundant Preconditions" in Proc. 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 2025.
    doi: 10.1109/FORMALISE66629.2025.00015
  • [inproceedings] bibtex | Go to document
    N. Thoben, J. Haltermann, and H. Wehrheim, "Timeout Prediction for Software Analyses" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_19
(Changed: 26 Aug 2025)  |  Kurz-URL:Shortlink: https://uole.de/p95527en
Zum Seitananfang scrollen Scroll to the top of the page