Clemens DubslaffCurrently 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.
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
- resilience and reliability analysis