Welcome
I am Clemens Dubslaff, research assistant in Christel Baier's group of Algebraic and Logic Foundations of Computer Science at Technical University Dresden. 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 Interests
I am interested in formal methods and (probabilistic) model checking in particular.- verification of feature-oriented systems
- multi-objective probabilistic model checking
- resilience and reliability analysis
- quantitative analysis of communication protocols
News
10|07|20 |
The paper "From Features to Roles" has been accepted for SPLC 2020 (together with C. Baier, P. Chrszon, S. Klüppelholz). |
09|04|20 |
The paper "Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis" has been accepted for ESREL 2020 PSAM 15 (together with A. Morozov, C. Baier, and K. Janschek). |
23|02|20 |
The paper "Iterative Variable Reordering: Taming Huge System Families" has been accepted for MARS 2020 (together with A. Morozov, C. Baier, and K. Janschek). |
31|01|20 |
Together with Maurice ter Beek I will chair QAVS 2020, the first workshop on Quantitative Aspects of Variant-rich Systems, co-located with QONFEST 2020 in Vienna. We are looking forward to your submissions! |
23|12|19 |
The journal article "Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms" appeared in a TOMACS special issue of selected papers of QEST 2017 (together with C. Baier, L. Korenčiak, A. Kučera, and V. Řehàk). |
06|12|19 |
Best Paper Award for the paper "Ontology-mediated Probabilistic Model Checking" at iFM 2019 (together with P. Koopmann and A.-Y. Turhan). |