Clemens DubslaffI am research assistant at the chair of algebraic and logic foundations of computer science headed by Christel Baier. Currently, I am mainly involved in the Cluster of Excellence CeTI where I investigate methods to analyze and explain tactile internet applications. Before that, I have been supported by a 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