Nicola Thoben

Kontakt

Nicola Thoben

Ulhornsweg 84 - Raum A02 3-339

Sekretariat

Marion Bramkamp

Ulhornsweg 84 - Raum A2 2-228

+49 441 798-2426

Nicola Thoben

Forschungsinteressen:

CAUSE Graduate School

Softwareverifikation
Fault Localization
Contract Sprachen

Veröffentlichungen

  • [inproceedings] bibtex | Dokument aufrufen
    N. Thoben und 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 | Dokument aufrufen
    N. Thoben, J. Haltermann, und 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
Webmaster (Stand: 27.08.2025)  |  Kurz-URL:Shortlink: https://uole.de/p95527
Zum Seitananfang scrollen Scroll to the top of the page