Welcome

I am Clemens Dubslaff, research associate at the chair Algebraic and Logic Foundations of Computer Science of Technical University Dresden that is headed by Christel Baier. Currently, I am mainly involved in the Cluster of Excellence CeTI and the Collaborative Research Center CPEC where I investigate methods to analyze, explicate, and explain cyber-physical systems.

Research Interests

I am interested in formal methods and (probabilistic) model checking in particular. My focus is on configurable systems analysis, explainability of formal methods, multi-objective reasoning, and reliability analysis.

News

03\|12\|21	The paper "Causality in Configurable Software Systems" has been accepted for ICSE 2022 (together with K. Weis, C. Baier, and S. Apel).
24\|09\|21	The paper "Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines" has been accepted for SEFM 2021 (together with P. Wienhöft and A. Fehnker).
07\|07\|21	Together with Maurice ter Beek I will chair QAVS 2022, the third Workshop on Quantitative Aspects of Variant-rich Systems. Further, together with Bas Luttik I will chair MARS 2022, the fifth Workshop on Models for Formal Analysis of Real Systems. Both workshops will be co-located with ETAPS 2022. We are looking forward to your submissions!
15\|06\|21	The paper "Admissibility in Probabilistic Argumentation" has been accepted for KR 2021 (together with C. Baier, M. Diller, S. A. Gaggl, H. Hermanns, and N. Käfer).
20\|05\|21	The paper "From Verification to Causality-based Explications" will appear at ICALP 2021 (together with C. Baier, F. Funke, S. Jantsch, R. Majumdar, J. Piribauer, and R. Ziemek).
03\|02\|21	The article "Enhancing Probabilistic Model Checking with Ontologies" has been accepted for Formal Aspects of Computing (together with P. Koopmann and A.-Y. Turhan).