Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraum: 02.04.2012 - 11.07.2022
Status: abgeschlossen
Promovend*in: Kenter, Sebastian
Promotionsfach: Informatik
Abschlussgrad: Dr. rer. nat.
Form der Dissertationsschrift: monographisch
Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik
Betreuer*innen: Müller-Olm, Markus
Gutachter*innen: Müller-Olm, Markus; Remke, Anne
Promovend*in an der Universität Münster
| Kenter, Sebastian |
Betreuung an der Universität Münster
| Müller-Olm, Markus |
Begutachtung an der Universität Münster
| Müller-Olm, Markus | |
| Remke, Anne |