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:

Software verfication, in particular currently

Publications

  • [inproceedings] bibtex | Go to document 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: 12 Jul 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page