Clemens Dubslaff
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.Research Interests
I 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