Welcome

I am Clemens Dubslaff, a computer scientist conducting research at the crossroads between theoretical computer science and software engineering. Currently, I work as an assistant professor in the formal system analysis group at TU Eindhoven (The Netherlands). I am also associated with TU Dresden (Germany) through the Cluster of Excellence CeTI and the Collaborative Research Center CPEC.

Research Interests

I am interested in formal methods and (probabilistic) model checking in particular. My research areas mainly cover symbolic methods, configurable systems analysis, explainability in formal methods, and reliability analysis.

News

10\|04\|24	The new decision diagram framework OxiDD has been launched, accepted as tool paper, and received the EASST best paper award at TACAS'24 (together with N. Husung, H. Hermanns, M. A. Köhl).
25\|11\|23	The article "Feature Causality" has been accepted for JSS (together with K. Weis, C. Baier, and S. Apel).
03\|08\|23	I am happy to be awarded an NWO VENI grant for my project on symbolic verification and explainability.
20\|04\|23	Two papers accepted at IJCAI: "A Unifying Formal Approach to Importance Values in Boolean Functions" together with H. Harder, C. Baier, and S. Jantsch; and "More for Less: Safe Policy Improvement with Stronger Performance Guarantees" together with M. Suilen, P. Wienhöft, T. Simão, N. Jansen, and C. Baier.