• Home
  • Publications
  • Teaching
  • Misc
  • Contact


Clemens Dubslaff

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
  • quantitative analysis of configurable systems
  • multi-objective probabilistic model checking
  • resilience and reliability analysis

News

10|12|20
Together with Maurice ter Beek I will chair QAVS 2021, the second workshop on Quantitative Aspects of Variant-rich Systems, co-located with ETAPS 2021. We are looking forward to your submissions!
10|08|20
The paper "Components in Probabilistic Systems: Suitable by Construction" has been accepted for ISoLA 2020 (together with C. Baier, H. Hermanns, M. Klauck, S. Klüppelholz, and M. A. Köhl).
10|07|20
The paper "From Features to Roles" has been accepted for SPLC 2020 (together with P. Chrszon, C. Baier, and 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).
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).
  • Home
  • Publications
  • Teaching
  • Misc
  • Contact