Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: 02/04/2012 - 11/07/2022
Status: completed
Candidate: Kenter, Sebastian
Doctoral subject: Informatik
Doctoral degree: Dr. rer. nat.
Form of the doctoral thesis: monographic
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Müller-Olm, Markus
Reviewers: Müller-Olm, Markus; Remke, Anne
Promovend*in an der Universität Münster
| Kenter, Sebastian |
Supervision at the University of Münster
| Müller-Olm, Markus |
Review at the University of Münster
| Müller-Olm, Markus | |
| Remke, Anne |