Welcome at my page. Currently I am PhD student at the chair of algebraic and logic foundations of computer science, headed by Christel Baier. I have been supported by the doctoral grant provided by Deutsche Telekom Stiftung.
Clemens Dubslaff, M.Sc.
phone: +49 (0) 351 463 38434
Room APB3009, Nöthnitzer Str. 46
TU Dresden, Department of Computer Science
D-01062, Dresden, Germany
Research InterestsI am interested in formal methods and (probabilistic) model checking in particular.
- quantitative analysis of communication protocols
- multi-objective probabilistic model checking
- verification of feature-oriented systems